First-class sums and products
Today I’m announcing the “compound-types” library. This library provides first-class multi-arity product- and sum-types and neat type-level utilities for the...
Recent Posts
If Haskell were strict, what would the laziness be like?
Recently a question by Chris Done on Reddit has spawned yet another debate on the subject of whether Haskell’s laziness is actually a good thing.
Announcing the refinement types library
Have you ever looked for a numeric type with a zero to hundred range to describe percentage? Maybe a zero to one to describe a proper fraction of something? ...
Announcing the first class records library
Today I’m releasing the “record” library, which is an API of just two quasi-quoters, providing a full-scale solution to the notorious records problem of Hask...
A taste of State: parsers are easy
Like many other Haskellers even after considering myself an expert in the language I still get that amazing “wow” moment, when I learn another elegant thing ...