6 October 2010
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 »
18 February 2009
There’s an APL-relevant seminar in the Forum this Thursday afternoon.
A Monad for Exhaustively Searching
Infinite Sets in Finite Time
University of Birmingham
4pm Thursday, 19th of February, 2009
Room 4.31/4.33, Informatics Forum
Links: Seminar abstract; LFCS Seminar series
This talk will show how to use monads in Haskell to structure and execute exhaustive search over (certain) infinite sets. Martín is a great speaker, and has also done fascinating work on exact real computation. He’s interested in having APL students along to the talk, and it should be accessible to those interested in programming languages and mathematics.
You’ll need to sign in to enter the Forum, but just state that you are attending a research seminar, following item 3 of the Forum access policy.