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?

“Haskell is the one true programming language.” —Aloke Desai

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

“Use the types, Luke! Even if you don’t quite understand what something does at first, the types are always a good place to start.” — William Marks

“Knowing lambda calculus has changed my outlook on learning new languages.” —Kevin Wynn

“Learning a functional language in a world dominated by imperative languages is super useful and satisfying.” —Ian Welty

“Mind-bending! … Abstraction! PL really takes it to the limit.” —Patrick Little, Conqueror of the Monad

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

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.

Office hours

Lectures