关于此课程： This course is an introduction to the basic concepts of programming languages, with a strong emphasis on functional programming. The course uses the languages ML, Racket, and Ruby as vehicles for teaching the concepts, but the real intent is to teach enough about how any language “fits together” to make you more effective programming in any language -- and in learning new ones. This course is neither particularly theoretical nor just about programming specifics -- it will give you a framework for understanding how to use language constructs effectively and how to design correct and elegant programs. By using different languages, you will learn to think more deeply than in terms of the particular syntax of one language. The emphasis on functional programming is essential for learning how to write robust, reusable, composable, and elegant programs. Indeed, many of the most important ideas in modern languages have their roots in functional programming. Get ready to learn a fresh and beautiful way to look at software and how to have fun building it. The course assumes some prior experience with programming, as described in more detail in the first module. The course is divided into three Coursera courses: Part A, Part B, and Part C. As explained in more detail in the first module of Part A, the overall course is a substantial amount of challenging material, so the three-part format provides two intermediate milestones and opportunities for a pause before continuing. The three parts are designed to be completed in order and set up to motivate you to continue through to the end of Part C. The three parts are not quite equal in length: Part A is almost as substantial as Part B and Part C combined.
此课程适用人群： The course assumes students are familiar with programming covered by most introductory courses, but it is explicitly designed not to be a particularly advanced course. Students should be comfortable with variables, conditionals, arrays, linked lists, stacks, and recursion (though recursion will be reviewed and expanded upon), and the difference between an interface and an implementation. Students should be eager to write programs in languages new to them. Part C of the course analyzes basic object-oriented concepts and contrast them with those of other languages, so familiarity with Java or a closely related language (e.g., C#) might be helpful for Part C, but it is not necessary for the assignments. This course is based on a course designed for second- and third-year undergraduates: not a first computer science course, but not an advanced course either. So it certainly will not cover everything in the beautiful world of programming languages, but it is a solid introduction. It is designed to be eye-opening and fascinating both for learners seeking a "third or fourth programming course" and for learners with more experience who are looking for a clear and precise foundation in programming languages. The assignments in the course are designed to be challenging, but with everything you need in the course content. An introductory video and another reading discuss assumed background in some more detail in Week 1 of the course.
教学方： Dan Grossman, Professor
Computer Science & Engineering
| 级别 | 中级 |
| 承诺学习时间 | 8-16 hours/week |
| 语言 | English |
| 如何通过 | 通过所有计分作业以完成课程。 |
| 用户评分 |
- Reading: Start here!
- 视频: Optional: Who I Am / Acknowledgments
- 视频: What the Course is About / Initial Motivation
- 视频: Recommended Background
- 视频: Why Part A, Part B, Part C
- 视频: Grading Policy
- 视频: Optional: Very High-Level Outline
- Reading: About the Course
- Reading: Some More Perspective on Recommended Background
- Reading: Why are there 3 courses (Part A, Part B, Part C)?
- Reading: Grading Policy Details
- Discussion Prompt: Discussion Forums: Why Are You Participating?
- Reading: Part A Software Installation and Use: SML and Emacs
- Reading: Why Emacs? (Optional)
- 视频: Emacs installation
- 视频: SML installation
- 视频: SML Mode installation
- Ungraded Programming: Homework 0 (Auto-Grader)
- Reading: Homework 0 Detailed Peer-Assessment Instructions
- Peer Review: Homework 0 (Peer Assessment)
- Reading: Section 1 Welcome Message
- Reading: Section 1 Reading Notes
- Reading: Code Files for All Section 1 Videos
- 视频: Rules for Expressions
- 视频: The REPL and Errors
- 视频: Shadowing
- 视频: Functions Informally
- 视频: Functions Formally
- 视频: Pairs and Other Tuples
- 视频: Introducing Lists
- 视频: List Functions
- 视频: Let Expressions
- 视频: Nested Functions
- 视频: Let and Efficiency
- 视频: Options
- 视频: Booleans and Comparison Operations
- 视频: Benefits of No Mutation
- 视频: Optional: Java Mutation
- 视频: Pieces of a Language
- Reading: Homework 1 Detailed Guidelines for Peer Assessment
- Reading: Hints and Gotchas for Homework 1
- Reading: Extra Practice Problems
- Reading: Section 2 Welcome Message
- Reading: Section 2 Reading Notes
- Reading: Code Files for All Section 2 Videos
- 视频: Records
- 视频: Tuples as Syntactic Sugar
- 视频: Datatype Bindings
- 视频: Case Expressions
- 视频: Useful Datatypes
- 视频: Pattern Matching So Far
- 视频: Another Expression Example
- 视频: Type Synonyms
- 视频: Lists and Options are Datatypes
- 视频: Polymorphic Datatypes
- 视频: Each of Pattern Matching / Truth About Functions
- 视频: A Little Type Inference
- 视频: Polymorphic and Equality Types
- 视频: Nested Patterns
- 视频: More Nested Patterns
- 视频: Nested Patterns Precisely
- 视频: Optional: Function Patterns
- 视频: Exceptions
- 视频: Tail Recursion
- 视频: Accumulators for Tail Recursion
- 视频: Perspective on Tail Recursion
- Reading: Homework 2 Detailed Guidelines for Peer Assessment
- Reading: Hints and Gotchas for Homework 2
- Reading: Extra Practice Problems
- Reading: Section 3 Welcome Message
- Reading: Section 3 Reading Notes
- Reading: Code Files for All Section 3 Videos
- 视频: Functions as Arguments
- 视频: Polymorphic Types and Functions as Arguments
- 视频: Anonymous Functions
- 视频: Unnecessary Function Wrapping
- 视频: Map and Filter
- 视频: Generalizing Prior Topics
- 视频: Lexical Scope
- 视频: Lexical Scope and Higher-Order Functions
- 视频: Why Lexical Scope
- 视频: Closures and Recomputation
- 视频: Fold and More Closures
- 视频: Closure Idiom: Combining Functions
- 视频: Closure Idiom: Currying
- 视频: Partial Application
- 视频: Currying Wrapup
- 视频: Mutable References
- 视频: Closure Idiom: Callbacks
- 视频: Standard-Library Documentation
- 视频: Optional: Abstract Data Types With Closures
- 视频: Optional: Closure Idioms Without Closures
- 视频: Optional: Java Without Closures
- 视频: Optional: C Without Closures
- 视频: Course-Motivation Introduction
- 视频: Why Study General PL Concepts?
- 视频: Are All PLs the Same?
- 视频: Why Functional Languages?
- 视频: Why ML, Racket, and Ruby?
- Reading: Homework 3 Detailed Guidelines for Peer Assessment
- Reading: Hints and Gotchas for Section 3
- Reading: Extra Practice Problems
- Reading: Section 4 Welcome Message
- Reading: Section 4 Reading Notes
- Reading: Code Files for All Section 4 Videos
- 视频: What is Type Inference
- 视频: ML Type Inference
- 视频: Type Inference Examples
- 视频: Polymorphic Examples
- 视频: Optional: The Value Restriction and Other Type-Inference Challenges
- 视频: Mutual Recursion
- 视频: Modules for Namespace Management
- 视频: Signatures and Hiding Things
- 视频: A Module Example
- 视频: Signatures for Our Example
- 视频: Signature Matching
- 视频: An Equivalent Structure
- 视频: Another Equivalent Structure
- 视频: Different Modules Define Different Types
- 视频: Equivalent Functions
- 视频: Standard Equivalences
- 视频: Equivalence Versus Performance
- Reading: Nothing (yet) (explanation)
- Reading: Information About the Exam (Required Reading)
- Practice Quiz: Practice Exam for Part A
- 视频: Part A Wrap-Up & Parts B&C Preview
Each course is like an interactive textbook, featuring pre-recorded videos, quizzes and projects.
Connect with thousands of other learners and debate ideas, discuss course material, and get help mastering concepts.
Earn official recognition for your work, and share your success with friends, colleagues, and employers.
Take this course. Many modern languages are still slowly stealing features from Standard ML, even decades later. Dan Grossman is passionate about this material. This course is arranged in such a way that it slowly builds you up in skill and knowledge, and the pacing is quite good. The homework assignments are very useful in reiterating the material, and the peer-grading really works if you commit and put work into it.
Learning functional programming is a great way to expand your skills as a software developer and programmer. The thinking required is much more principled than in something like Python, and so you begin to understand how this approach could be useful in the real world.
很赞，学到了很多实用的基本概念和方法。
Quite interesting~
KZ
amazing course and excellent lecture! Very impressive about explanation on SML.