Clik here to view.
Eff – Language of the Future
This is just a series of blog posts so far, as far as I can tell. But Andrej Bauer’s work has been mentioned here many times, I am finding these posts extremely interesting, and I’m sure I will not be...
View ArticleClik here to view.
Of Course ML Has Monads!
Of Course ML Has Monads! from Bob Harper’s Blog: A popular meme in the world of PL’s is that “Haskell has monads”, with the implication that this is a distinctive feature of the language, separate from...
View ArticleClik here to view.
Levy: a Toy Call-by-Push-Value Language
Andrej Bauer’s blog contains the PL Zoo project. In particular, the Levy language, a toy implementation of Paul Levy’s CBPV in OCaml. If you’re curious about CBPV, this implementation might be a nice...
View ArticleProgramming with Algebraic Effects and Handlers
Programming with Algebraic Effects and Handlers. Andrej Bauer and Matija Pretnar, arXiv preprint. Eff is a programming language based on the algebraic approach to computational effects, in which...
View Article
