Programming Paradigms - Teaching material

There is no required textbook for this course. The material provided should suffice. See below for additional resources.

Lecture notes are provided in html format. Please don’t print these notes!

It’s unlikely that we cover all of the below in one semester.

• Haskell

  • Quick tour

  • Functions and lists

  • Data types and type classes

  • Evaluation order and more on higher-order functions

  • Monads and effects

  • QuickCheck: Automatic Testing

  • Concurrency in Haskell

    • Software transactions

  • Extended example: IMP in Haskell

  • Haskell is great: Building, tracing, debugging, profiling in Haskell

  • Haskell: FP vs OO

• Go

  • Rough overview Go : Lambdas, local type inference, overloading, interfaces, generics, …

  • Go basics + higher-order functions + lambda calculus

  • Types, methods and overloading

  • Concurrency

  • Building concurrency abstractions in Go (futures and promises)

  • Syntax analysis

  • Regular expression derivatives

  • Project: parser + typechecker for integer/boolean expressions Deadline see ilias.

  • Go quiz questions

• C++

  • C++ : Lambdas, local type inference, templates, …

  • Monads again

• Rust

  • Rust overview

  • Rust versus Haskell

• Lambda calculus

• Types

• Notes during class

Additional resources

• “Types and Programming Languages” by Benjamin C. Pierce, MIT Press, 2002.

  • Covers types extensively.

• “Practical Foundations for Programming Languages” by Robert Harper, Cambridge University Press, 2013.

  • Comprehensive (and fairly theoretical despite the title).

• “Concepts in Programming Languages” by John C. Mitchell, Cambridge University Press, 2003.

  • Good overview. Fairly accessible for a broad audience.

• “The Formal Semantics of Programming Languages” by Glynn Winskel, MIT Press, 1993.

  • Classic text on formal semantics.

• “Compilers: Principles, Techniques, and Tools” by Alfred V. Aho, Monica S. Lam, Ravi Sethi and Jeffrey Ullman, Addison Wesley, 2006.

  • Covers syntax analysis and much more.