Haskell for all
Sunday, October 26, 2014
How to desugar Haskell code
Haskell's core language is very small, and most Haskell code desugars to either: lambdas / function application, algebraic data types...
Friday, September 12, 2014
Morte: an intermediate language for super-optimizing functional programs
The Haskell language provides the following guarantee (with caveats): if two programs are equal according to equational reasoning then they...
Sunday, August 10, 2014
managed-1.0.0: A monad for managed resources
I'm splitting off the Managed type from the mvc library into its own stand-alone library . I've wanted to use this type outside of...
Sunday, July 20, 2014
Equational reasoning at scale
Haskell programmers care about the correctness of their software and they specify correctness conditions in the form of equations that their...
View web version