CS 145: Designing Functional Programs (Advanced Version)

Resources

This page contains links to resources that may be useful and/or interesting to CS 145 students. None of this is required reading, but much of it is recommended. New links may appear during the term.

Scheme links (but remember: Racket is not Scheme)

• The Scheme Programming Language, by Kent Dybvig (fourth edition). Part R6RS reference and part textbook.
• Structure and Interpretation of Computer Programs, by Abelson, Sussman, and Sussman. This is a classic textbook largely responsible for Scheme's position in education. We take inspiration from it, as did the HtDP textbook, but our approach integrates better with the rest of the UW curriculum.
• Schemers.org, with extensive links to Scheme resources.
• Teach Yourself Racket, a tutorial for experienced programmers, under construction.

Miscellaneous links

• Matt Might's college tips, tricks, and hacks. Matt is a professor at the University of Utah who uses Racket a lot.
• James Iry's "A Brief, Incomplete, and Mostly Wrong History of Programming Languages" is brilliantly funny, and you should make it a goal to understand exactly why.
• John Carmack speaks at Quakecon on the importance of functional programming.
• The main Haskell web page. There are (hopefully not too old) versions of the GHC compiler and the GHCi and HUGS interpreters available on the CS undergraduate environment, and GHC/GHCi may also be available in the Mac labs (in /usr/local/bin).
• The OCaML web page. OCaML is in between Racket and Haskell: impure, strongly typed, functional.
• The design recipe applied in intensive care to save lives.