# blog

• ## A Case Study in Dhall for Package Configuration

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).

• ## There Are Two Monadic Zygomorphisms

The "obvious" way to write a monadic zygomorphism is to look at the definition for an ordinary zygomorphism, namely

• ## Projective Programming

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.

• ## Curry vs Uncurry on Hackage

This post was inspired by a curious question on Twitter: is curry or uncurry more common in Haskell code?

• ## Benchmarking Code Produced by Different Versions of GHC

Though it does not often get mentioned in the Haskell community, simply bumping to a new version of GHC can drastically improve the performance of your code. Here, I have several examples from my fast-arithmetic package, which will hopefully give an idea of just how much work has gone into optimizing code produced by GHC.

|