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? A positive integer (without the zero) to enumerate something? A vector of a specific length? Here that comes and not only with the Haskell refinement types library (on GitHub, on Hackage)! The problem The “refined” library Why do we need all t

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 Haskell! The records problem Introduction to the “record” library Features Project status First, a bit of a background on the problem. The records problem The current record system is notorious for its major flaws: It does not solve the namespacin