Lectures 6–8 will address some interesting uses of types in programming, with examples specifically from the Haskell language.
If you haven’t programmed in Haskell before — or you have, but Informatics 1 seems but a distant memory — then over the next week you should learn some basics of the language. The rest of this post suggests some resources, updating last year’s list with new material from students.
Read the rest of this entry »