Wednesday, March 31, 2010

Haskell

I've been learning more about Haskell and came across this paper:

http://conal.net/papers/beautiful-differentiation/beautiful-differentiation-long.pdf

Reading it made some things start clicking...

1 comment:

Conal said...

I'm delighted to hear! This reaction is exactly what I hope for in writing papers & blog posts. I hope you check out the denotational design paper as well and related posts on my blog.

Much of modern "functional programming" is about structuring imperative computations (e.g., monadic IO in Haskell). I'm much more interested in programming that centers on precise, tractable meanings. What Peter Landin called "denotative programming", as more specific term than "functional".