From the course catalog:

A thorough examination of issues and features in language design and implementation, including language-provided data structuring and data-typing, modularity, scoping, inheritance and concurrency. Compilation and run-time issues. Introduction to formal semantics.

Prerequisites: The intro sequence (52/62 or 60/70) and 81. This course is required for CS majors. Please see the syllabus for more information.

But don’t listen to me… what do other students say?

“Useful at parties!”

“TYPES TYPES TYPES ARE THE ANSWER ALWAYS!”

“Beauty matters, and as a corollary, correctness is preferable to efficiency. It was enriching to realize the benefits of beauty for its own sake—it’s a big part of why I do CS.”

“[I now have] a better appreciation for CS/computation foundations… λ and π calculi are so cool! Church encodings are mindblowing.”

“Haskell is the one true programming language.”

“Haskell! #Types4Life”

“I feel like I have a larger ‘arsenal’ of tools/approaches to use for tackling new problems.”

“This notation is pretentious.”

“Haskell is a cool language and people will think you’re cool for knowing it.”

“Mind-bending! … Abstraction! PL really takes it to the limit.”

“Haskell: it’s dope. Higher order functions: super useful, plus it shows people you’re cool.”

Homeworks

Submit homeworks at the new submission site. You may have to enroll in the course there.

I urge you to use the Haskell documentation as well as the library documentation in Hackage and Hoogle.

Worksheets are due at the beginning of a class day.

Office hours

Lectures