課程信息
4.9
360 ratings
75 reviews
[As described below, this is Part B of a 3-part course. Participants should complete Part A first -- Part B "dives right in" and refers often to material from Part A.] 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 of Part A. Part B assumes successful completion of Part A. 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. Week 1 of Part A has a more detailed list of topics for all three parts of the course, but it is expected that most course participants will not (yet!) know what all these topics mean....
Globe

100% 在線課程

立即開始,按照自己的計劃學習。
Calendar

可靈活調整截止日期

根據您的日程表重置截止日期。
Intermediate Level

中級

Clock

建議:8-16 hours/week

完成時間大約為18 小時
Comment Dots

English

字幕:English

您將獲得的技能

Racket (Programming Language)Programming Language ConceptsType SystemFunctional Programming
Globe

100% 在線課程

立即開始,按照自己的計劃學習。
Calendar

可靈活調整截止日期

根據您的日程表重置截止日期。
Intermediate Level

中級

Clock

建議:8-16 hours/week

完成時間大約為18 小時
Comment Dots

English

字幕:English

教學大綱 - 您將從這門課程中學到什麼

1

章節
Clock
完成時間為 1 小時

Introduction, Course-Wide Information, and Software Installation (Start Here)

Welcome! Start here! Learn about this course and how it's organized. ...
Reading
3 個視頻(共 11 分鐘), 2 個閱讀材料
Video3 個視頻
Overview of Part B Concepts5分鐘
Part B Course Structure2分鐘
Reading2 個閱讀材料
Start Here!7分鐘
Part B Software Installation and Use: Racket and DrRacket15分鐘
Clock
完成時間為 7 小時

Section 5 and Homework 4 (First Module with Racket)

Let's get started programming with Racket and then learning idioms related to delaying evaluation. The welcome message has a few additional comments about picking up a new language and how to approach the homework assignment, so let's get started......
Reading
23 個視頻(共 211 分鐘), 6 個閱讀材料, 2 個測驗
Video23 個視頻
Racket Definitions, Functions, Conditionals10分鐘
Racket Lists9分鐘
Syntax and Parentheses8分鐘
Parentheses Matter! (Debugging Practice)10分鐘
Dynamic Typing9分鐘
Cond8分鐘
Local Bindings13分鐘
Toplevel Bindings4分鐘
Mutation with set!8分鐘
The Truth About Cons7分鐘
mcons For Mutable Pairs7分鐘
Delayed Evaluation and Thunks10分鐘
Avoiding Unnecessary Computations6分鐘
Delay and Force9分鐘
Using Streams10分鐘
Defining Streams10分鐘
Memoization10分鐘
Macros: The Key Points8分鐘
Optional: Tokenization, Parenthesization, and Scope7分鐘
Optional: Racket Macros With define-syntax9分鐘
Optional: Variables, Macros, and Hygiene10分鐘
Optional: More Macro Examples9分鐘
Reading6 個閱讀材料
Section 5 Welcome Message5分鐘
Section 5 Reading Notes分鐘
Code Files for All Section 5 Videos分鐘
Homework 4 Detailed Guidelines for Peer Assessment分鐘
Notes and Tips for Section 56分鐘
Extra Practice Problems分鐘

2

章節
Clock
完成時間為 6 小時

Section 6 and Homework 5 (Second Module with Racket)

Welcome to the second week of Part B where we will focus on (a) building data structures in dynamically typed languages and (b) implementing programming languages with interpreters. Most of the programming assignment is focused on (b) -- implementing a small programming language that has function closures. As usual, start with the welcome message and enjoy!...
Reading
9 個視頻(共 86 分鐘), 6 個閱讀材料, 2 個測驗
Video9 個視頻
Datatype-Programming in Racket With Structs9分鐘
Advantages of Structs8分鐘
Implementing Programming Languages10分鐘
What Your Interpreter Can and Cannot Assume13分鐘
Implementing Variables and Environments6分鐘
Implementing Closures6分鐘
Optional: Are Closures Efficient?9分鐘
Racket Functions As “Macros” For Interpreted Language9分鐘
Reading6 個閱讀材料
Section 6 Welcome Message5分鐘
Section 6 Reading Notes分鐘
Code Files for All Section 6 Videos分鐘
Homework 5 Detailed Guidelines for Peer Assessment分鐘
Notes and Tips for Section 67分鐘
Extra Practice Problems分鐘

3

章節
Clock
完成時間為 2 小時

Section 7 Including a Quiz

In the last module of Part B we will use our experience programming in ML and Racket to compare and contrast static typing and dynamic typing. This is not only the most important difference between these two languages, but it is a fundamental topic in the study of programming languages. Learning it can help you program more effectively in both kinds of languages. After completing this week's quiz, don't forget to watch the Part B Wrap-Up and Part C Preview video....
Reading
8 個視頻(共 77 分鐘), 5 個閱讀材料, 1 個測驗
Video8 個視頻
What is Static Checking?10分鐘
Soundness and Completeness9分鐘
Weak Typing9分鐘
Static Versus Dynamic Typing, Part One9分鐘
Static Versus Dynamic Typing, Part Two13分鐘
Optional: eval and quote7分鐘
Part B Wrap-Up and Part C Preview7分鐘
Reading5 個閱讀材料
Section 7 Welcome Message5分鐘
Section 7 Reading Notes分鐘
Code Files for All Section 7 Videos分鐘
Quiz Instructions5分鐘
Nothing (yet) (explanation)分鐘
Quiz1 個練習
Section 7 Quiz45分鐘
4.9
Briefcase

83%

通過此課程獲得實實在在的工作福利
Money

20%

加薪或升職

熱門審閱

創建者 AAMar 24th 2018

Great course with really interesting and challenging assignments that allow to get more precise vision on programming languages (especially on PL's typing systems) and get experience with modern LISP

創建者 KRMar 23rd 2018

I'm a pretty experienced C/C++ programmer and this course has been a brilliant introduction into functional programming and the underlying philosophies underpinning programming languages in general.

講師

Dan Grossman

Professor
Computer Science & Engineering

關於 University of 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....

常見問題

  • Once you enroll for a Certificate, you’ll have access to all videos, quizzes, and programming assignments (if applicable). Peer review assignments can only be submitted and reviewed once your session has begun. If you choose to explore the course without purchasing, you may not be able to access certain assignments.

  • When you purchase a Certificate you get access to all course materials, including graded assignments. Upon completing the course, your electronic Certificate will be added to your Accomplishments page - from there, you can print your Certificate or add it to your LinkedIn profile. If you only want to read and view the course content, you can audit the course for free.

還有其他問題嗎?請訪問 學生幫助中心