Informações sobre o curso
71,610 visualizações recentes

100% online

Comece imediatamente e aprenda em seu próprio cronograma.

Prazos flexíveis

Redefinir os prazos de acordo com sua programação.

Nível intermediário

Aprox. 35 horas para completar

Sugerido: 8-16 hours/week...


Legendas: Inglês

Habilidades que você terá

RecursionHigher-Order FunctionPattern MatchingFunctional Programming

100% online

Comece imediatamente e aprenda em seu próprio cronograma.

Prazos flexíveis

Redefinir os prazos de acordo com sua programação.

Nível intermediário

Aprox. 35 horas para completar

Sugerido: 8-16 hours/week...


Legendas: Inglês

Programa - O que você aprenderá com este curso

2 horas para concluir

Introduction and Course-Wide Information (Start Here)

Welcome! Start here! Learn about this course and how it's organized.

7 vídeos ((Total 56 mín.)), 5 leituras
7 videos
Optional: Who I Am / Acknowledgments6min
What the Course is About / Initial Motivation8min
Recommended Background9min
Why Part A, Part B, Part C5min
Grading Policy9min
Optional: Very High-Level Outline7min
5 leituras
Start here!5min
About the Course10min
Some More Perspective on Recommended Background7min
Why are there 3 courses (Part A, Part B, Part C)?5min
Grading Policy Details10min
2 horas para concluir

Software Installation and Homework 0

This module contains two things: (1) The information for the [unusual] software you need to install for Programming Languages Part A. (2) An optional "fake" homework that you can turn in for auto-grading and peer assessment to get used to the mechanics of assignment turn-in that we will use throughout the course. You can do this module either before or after watching the first few "actual course content" videos in the next module, but you will want to get the software installed soon so you can learn by actively trying out variations on the code in the videos. You will need to install the software to do the homework.

4 vídeos ((Total 9 mín.)), 3 leituras, 2 testes
4 videos
Emacs installation2min
SML installation1min
SML Mode installation3min
3 leituras
Part A Software Installation and Use: SML and Emacs1h
Why Emacs? (Optional)5min
Homework 0 Detailed Peer-Assessment Instructions
6 horas para concluir

Section 1 and Homework 1

It's time to dive in! Start with a careful reading of the "Section 1 Welcome Message" and go from there.

17 vídeos ((Total 150 mín.)), 6 leituras, 2 testes
17 videos
Rules for Expressions9min
The REPL and Errors12min
Functions Informally7min
Functions Formally8min
Pairs and Other Tuples9min
Introducing Lists10min
List Functions11min
Let Expressions7min
Nested Functions7min
Let and Efficiency10min
Booleans and Comparison Operations7min
Benefits of No Mutation7min
Optional: Java Mutation4min
Pieces of a Language6min
6 leituras
Section 1 Welcome Message7min
Section 1 Reading Notes
Code Files for All Section 1 Videos
Homework 1 Detailed Guidelines for Peer Assessment
Hints and Gotchas for Homework 15min
Extra Practice Problems
7 horas para concluir

Section 2 and Homework 2

This section is a particularly rewarding one where a lot of ideas come together to reveal a surprisingly elegant underlying structure in ML. As usual, start with the welcome reading, dive into the material, and leave plenty of time to approach the programming assignment methodically.

22 vídeos ((Total 178 mín.)), 6 leituras, 2 testes
22 videos
Tuples as Syntactic Sugar6min
Datatype Bindings8min
Case Expressions10min
Useful Datatypes11min
Pattern Matching So Far4min
Another Expression Example8min
Type Synonyms6min
Lists and Options are Datatypes9min
Polymorphic Datatypes8min
Each of Pattern Matching / Truth About Functions14min
A Little Type Inference6min
Polymorphic and Equality Types8min
Nested Patterns10min
More Nested Patterns10min
Nested Patterns Precisely6min
Optional: Function Patterns3min
Tail Recursion9min
Accumulators for Tail Recursion7min
Perspective on Tail Recursion5min
6 leituras
Section 2 Welcome Message5min
Section 2 Reading Notes
Code Files for All Section 2 Videos
Homework 2 Detailed Guidelines for Peer Assessment
Hints and Gotchas for Homework 27min
Extra Practice Problems
8 horas para concluir

Section 3 and Homework 3 -- and Course Motivation

This section is all about higher-order functions -- the feature that gives functional programming much of its expressiveness and elegance -- and its name! As usual, the first reading below introduces you to the section, but it will make more sense once you dive in to the lectures. Also be sure not to miss the material on course motivation that we have put in a "lesson" between the other videos for this week and the homework assignment. The material is "optional" in the sense that it is not needed for the homeworks or next week's exam, but it is still very highly encouraged to better understand why the course (including Parts B and C) covers what it does and, hopefully, will change the way you look at software forever.

28 vídeos ((Total 247 mín.)), 6 leituras, 2 testes
28 videos
Functions as Arguments8min
Polymorphic Types and Functions as Arguments7min
Anonymous Functions9min
Unnecessary Function Wrapping5min
Map and Filter8min
Generalizing Prior Topics9min
Lexical Scope7min
Lexical Scope and Higher-Order Functions7min
Why Lexical Scope11min
Closures and Recomputation6min
Fold and More Closures11min
Closure Idiom: Combining Functions9min
Closure Idiom: Currying10min
Partial Application9min
Currying Wrapup6min
Mutable References8min
Closure Idiom: Callbacks8min
Standard-Library Documentation7min
Optional: Abstract Data Types With Closures11min
Optional: Closure Idioms Without Closures4min
Optional: Java Without Closures12min
Optional: C Without Closures10min
Course-Motivation Introduction5min
Why Study General PL Concepts?10min
Are All PLs the Same?6min
Why Functional Languages?11min
Why ML, Racket, and Ruby?12min
6 leituras
Section 3 Welcome Message5min
Section 3 Reading Notes
Code Files for All Section 3 Videos
Homework 3 Detailed Guidelines for Peer Assessment
Hints and Gotchas for Section 310min
Extra Practice Problems
5 horas para concluir

Section 4 and Part-A Exam

We finish Part A of the course with this module. As explained in more detail in the welcome message, we discuss type inference, ML's module system, and the fundamental idea in computing of two computations being equivalent. There is no programming assignment -- instead there is an exam covering all of Part A. Finally, there is a brief wrap-up video for the end of Part A that also looks ahead to Part B and Part C -- we have put it after the exam, so don't overlook it.

19 vídeos ((Total 144 mín.)), 5 leituras, 2 testes
19 videos
What is Type Inference5min
ML Type Inference6min
Type Inference Examples10min
Polymorphic Examples10min
Optional: The Value Restriction and Other Type-Inference Challenges9min
Mutual Recursion9min
Modules for Namespace Management6min
Signatures and Hiding Things7min
A Module Example11min
Signatures for Our Example11min
Signature Matching4min
An Equivalent Structure6min
Another Equivalent Structure9min
Different Modules Define Different Types3min
Equivalent Functions8min
Standard Equivalences10min
Equivalence Versus Performance6min
Part A Wrap-Up & Parts B&C Preview6min
5 leituras
Section 4 Welcome Message7min
Section 4 Reading Notes
Code Files for All Section 4 Videos
Nothing (yet) (explanation)
Information About the Exam (Required Reading)10min
2 exercícios práticos
Practice Exam for Part A1h
Exam for Part A1h
289 avaliaçõesChevron Right


comecei uma nova carreira após concluir estes cursos


consegui um benefício significativo de carreira com este curso

Principais avaliações do Programming Languages, Part A

por YZDec 3rd 2016

I'm just a beginner for CS or SE classes, and find this course really concise and challenging. It opens a door for me to get deeper into programming language. No wonder it got so high average score.

por ALMar 22nd 2017

Great course!\n\nI think this course has just the right balance of theoretical background, formal definitions, and actual examples to make "just right".\n\nThanks Dan, and everybody else involved!



Dan Grossman

Computer Science & Engineering

Sobre Universidade de Washington

Founded in 1861, the University of Washington is one of the oldest state-supported institutions of higher education on the West Coast and is one of the preeminent research universities in the world....

Perguntas Frequentes – FAQ

  • Ao se inscrever para um Certificado, você terá acesso a todos os vídeos, testes e tarefas de programação (se aplicável). Tarefas avaliadas pelos colegas apenas podem ser enviadas e avaliadas após o início da sessão. Caso escolha explorar o curso sem adquiri-lo, talvez você não consiga acessar certas tarefas.

  • Quando você adquire o Certificado, ganha acesso a todo o material do curso, incluindo avaliações com nota atribuída. Após concluir o curso, seu Certificado eletrônico será adicionado à sua página de Participações e você poderá imprimi-lo ou adicioná-lo ao seu perfil no LinkedIn. Se quiser apenas ler e assistir o conteúdo do curso, você poderá frequentá-lo como ouvinte sem custo.

Mais dúvidas? Visite o Central de Ajuda ao Aprendiz.