Haskell for all
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...
Saturday, June 14, 2014
Spreadsheet-like programming in Haskell
What if I told you that a spreadsheet could be a library instead of an application? What would that even mean? How do we distill the logic b...
View web version