Though there are diverse tools for Haskell development many are not widely advertised; here I collect those I use.
cpkg is now live on Hackage. It is a good deal less polished than I'd originally wanted, but it already gives impressive results (among them cross-compiling XMonad).
The "obvious" way to write a monadic zygomorphism is to look at the definition for an ordinary zygomorphism, namely
I read a recent Functional Pearl by Hinze and this inspired me to write up an example of projective programming and its motivation in logic/model theory.
This post was inspired by a curious
question on
Twitter: is curry or uncurry more common in Haskell code?