CIS 352   —   Spring 2010

LINKS

Textbook Pages

Required Texts

• Basics of Compiler Design, by Torben Mogensen.
• Learn You a Haskell for Great Good by Miran Lipovaca.

Recommended: Haskell

• How to Learn Haskell, a meta-tutorial by students at Washington University.
• Real World Haskell by Bryan O'Sullivan, Don Stewart, and John Goerzen, O'Reilly, 2008.

Recommended: SOS (Structural Operational Semantics)

• Matthew Henessey's reading list for his course at Trinity College, Dublin.

  In particular, Hennessy's own Semantics of Programming Languages is worth a look. Also, Andrew Pitts' Lecture Notes on Semantics of Programming Languages we will probably use parts of.

Haskell Resources

• The Haskell home page
• Hoogle – A Haskell specific search engine
• GHC = The Glasgow Haskell Compiler
• QuickCheck manual (for the first version of quickCheck)
• The Haskell Platform = installers for GHC + blessed libraries for various platforms
• The Haskell Cheatsheet – concise, but probably more than you want to know
• The C9 Lectures by Erik Meijer – video lectures on basic Haskell for programmers

PLs and Functional Programming

• Why study programming languages?

  Read through the text of Daniel Friedman's talk entitled The Role of the Study of Programming Languages in the Education of a Programmer, given at UNAM in April 2001.

• Why modern programmers are really programming language designers
  
  ``Growing a Language'' by Guy Steele:
  • the text
  • the video (a little choppy)
  (This is a wonderful talk, but the beginning will seem very strange. At about minute 8 Steele explains what is going on.)

• What's the point of functional programming?

  Read John Hughes' Why Functional Programming Matters

• Yeah, but are FPLs used for real applications?

  Read Paul Graham's article Beating the Averages, which describes the use of Lisp to implement what became Yahoo Store.

  In fact, if you are interested in heading of to start-up-land, read all of Graham's essays