free variable

This site has been set up by  Paul Callaghan. I’ll probably use it to discuss various aspects of programming language technology. I like programming, and like anything that helps me do complex things more elegantly and precisely. So expect to see something about Haskell, Ruby, and dependent types in the coming weeks. You’ll also see something about interesting algorithms and how to express them in a flexible language. Stay tuned!