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...
Wednesday, March 31, 2010
Subscribe to:
Post Comments (Atom)
1 comment:
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".
Post a Comment