Quantcast
Channel: fmap fix return » polymorphism
Browsing all 3 articles
Browse latest View live

Image may be NSFW.
Clik here to view.

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 Article



Image may be NSFW.
Clik here to view.

Type 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 Article

Image may be NSFW.
Clik here to view.

Simple 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
Browsing all 3 articles
Browse latest View live


Latest Images