Type-hackery for the practical programmer
So hvac has a pretty nice validation framework built on the withSomething idiom (i.e. withSomething (\something -> etc)) which is a sort of continuation passing model. More particularly, it has:...
View ArticleType hackery for the practical programmer pt. II
This post is a long time coming, and sort of anti-climactic, but I wanted to just finish off what I’d begun describing in the previous post. We have, if you will recall: class MapFromTuple a b where...
View ArticleSimple Extensible Records — Quick Generic Tricks, Pt. 1
There have been a few discussions lately about how to do quick and easy typesafe extensible records in Haskell. And there have been a number of discussions lately about extensions to do it more cleanly...
View Article