Two useful links, the first is a discussion on how to do monadic programming in JavaScript:
Translation from Haskell to JavaScript of selected portions of the best introduction to monads I’ve ever read
and the original You Could Have Invented Monads! (And Maybe You Already Have.)
Showing posts with label Haskell. Show all posts
Showing posts with label Haskell. Show all posts
Friday, 12 August 2011
Thursday, 30 December 2010
Happy Birthday IO Monad
Interesting post from the Haskell mailing list....
[Haskell-cafe] The IO monad is 45 years old
An old (1994) paper on category theory monads and functional programming included an interesting historical side-note. It turns out that the RealWorld-passing trick underlying the implementation of the IO monad, the trick that made it possible to embed truly side-effecting operations into pure Haskell -- the trick is 45 years old. It has been first published in February 1965. That 1965 paper also anticipated State and Writer monad, call/cc, streams and delayed evaluations, relation of streams with co-routines, and even stream fusion. First, here is the historical aside, cited from Jonathan M. D. Hill and Keith Clarke An Introduction to Category Theory, Category Theory Monads, and Their Relationship to Functional Programming. 1994 http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.53.6497
Monday, 7 June 2010
Galois connections
Interesting paper by way of LtU:
Peter Smith, The Galois connection between syntax and semantics.
and unrelated but a Python to Haskell translator (by way of LtU also)
Peter Smith, The Galois connection between syntax and semantics.
and unrelated but a Python to Haskell translator (by way of LtU also)
Subscribe to:
Posts (Atom)