Acerca de este Curso
77,865 vistas recientes

100 % en línea

Comienza de inmediato y aprende a tu propio ritmo.

Fechas límite flexibles

Restablece las fechas límite en función de tus horarios.

Nivel intermedio

Inglés (English)

Subtítulos: Inglés (English)

Habilidades que obtendrás

RecursionHigher-Order FunctionPattern MatchingFunctional Programming

100 % en línea

Comienza de inmediato y aprende a tu propio ritmo.

Fechas límite flexibles

Restablece las fechas límite en función de tus horarios.

Nivel intermedio

Inglés (English)

Subtítulos: Inglés (English)

Programa - Qué aprenderás en este curso

2 horas para completar

Introduction and Course-Wide Information (Start Here)

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

7 videos (Total 56 minutos), 5 readings
7 videos
Optional: Who I Am / Acknowledgments6m
What the Course is About / Initial Motivation8m
Recommended Background9m
Why Part A, Part B, Part C5m
Grading Policy9m
Optional: Very High-Level Outline7m
5 lecturas
Start here!5m
About the Course10m
Some More Perspective on Recommended Background7m
Why are there 3 courses (Part A, Part B, Part C)?5m
Grading Policy Details10m
2 horas para completar

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 videos (Total 9 minutos), 3 readings, 2 quizzes
4 videos
Emacs installation2m
SML installation1m
SML Mode installation3m
3 lecturas
Part A Software Installation and Use: SML and Emacs1h
Why Emacs? (Optional)5m
Homework 0 Detailed Peer-Assessment Instructions
6 horas para completar

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 videos (Total 150 minutos), 6 readings, 2 quizzes
17 videos
Rules for Expressions9m
The REPL and Errors12m
Functions Informally7m
Functions Formally8m
Pairs and Other Tuples9m
Introducing Lists10m
List Functions11m
Let Expressions7m
Nested Functions7m
Let and Efficiency10m
Booleans and Comparison Operations7m
Benefits of No Mutation7m
Optional: Java Mutation4m
Pieces of a Language6m
6 lecturas
Section 1 Welcome Message7m
Section 1 Reading Notes
Code Files for All Section 1 Videos
Homework 1 Detailed Guidelines for Peer Assessment
Hints and Gotchas for Homework 15m
Extra Practice Problems
7 horas para completar

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 videos (Total 178 minutos), 6 readings, 2 quizzes
22 videos
Tuples as Syntactic Sugar6m
Datatype Bindings8m
Case Expressions10m
Useful Datatypes11m
Pattern Matching So Far4m
Another Expression Example8m
Type Synonyms6m
Lists and Options are Datatypes9m
Polymorphic Datatypes8m
Each of Pattern Matching / Truth About Functions14m
A Little Type Inference6m
Polymorphic and Equality Types8m
Nested Patterns10m
More Nested Patterns10m
Nested Patterns Precisely6m
Optional: Function Patterns3m
Tail Recursion9m
Accumulators for Tail Recursion7m
Perspective on Tail Recursion5m
6 lecturas
Section 2 Welcome Message5m
Section 2 Reading Notes
Code Files for All Section 2 Videos
Homework 2 Detailed Guidelines for Peer Assessment
Hints and Gotchas for Homework 27m
Extra Practice Problems
8 horas para completar

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 videos (Total 247 minutos), 6 readings, 2 quizzes
28 videos
Functions as Arguments8m
Polymorphic Types and Functions as Arguments7m
Anonymous Functions9m
Unnecessary Function Wrapping5m
Map and Filter8m
Generalizing Prior Topics9m
Lexical Scope7m
Lexical Scope and Higher-Order Functions7m
Why Lexical Scope11m
Closures and Recomputation6m
Fold and More Closures11m
Closure Idiom: Combining Functions9m
Closure Idiom: Currying10m
Partial Application9m
Currying Wrapup6m
Mutable References8m
Closure Idiom: Callbacks8m
Standard-Library Documentation7m
Optional: Abstract Data Types With Closures11m
Optional: Closure Idioms Without Closures4m
Optional: Java Without Closures12m
Optional: C Without Closures10m
Course-Motivation Introduction5m
Why Study General PL Concepts?10m
Are All PLs the Same?6m
Why Functional Languages?11m
Why ML, Racket, and Ruby?12m
6 lecturas
Section 3 Welcome Message5m
Section 3 Reading Notes
Code Files for All Section 3 Videos
Homework 3 Detailed Guidelines for Peer Assessment
Hints and Gotchas for Section 310m
Extra Practice Problems
289 revisionesChevron Right


comenzó una nueva carrera después de completar estos cursos


consiguió un beneficio tangible en su carrera profesional gracias a este curso

Principales revisiones sobre 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

Acerca de Universidad 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....

Preguntas Frecuentes

  • Una vez que te inscribes para obtener un Certificado, tendrás acceso a todos los videos, cuestionarios y tareas de programación (si corresponde). Las tareas calificadas por compañeros solo pueden enviarse y revisarse una vez que haya comenzado tu sesión. Si eliges explorar el curso sin comprarlo, es posible que no puedas acceder a determinadas tareas.

  • Cuando compras un Certificado, obtienes acceso a todos los materiales del curso, incluidas las tareas calificadas. Una vez que completes el curso, se añadirá tu Certificado electrónico a la página Logros. Desde allí, puedes imprimir tu Certificado o añadirlo a tu perfil de LinkedIn. Si solo quieres leer y visualizar el contenido del curso, puedes participar del curso como oyente sin costo.

¿Tienes más preguntas? Visita el Centro de Ayuda al Alumno.