Day 13: Functional Dependencies

It's time for some more Haskell opinions.See day 12.

The addition of functional dependencies to multi-parameter type classes all of a sudden opened up the possibility of doing type level computations that had not been there before. The type level programming industry seems to have started with Thomas Hallgren's 2001 paper Fun with Functional Dependencies (which got some inspiration from the type level numeric computation available in (classic) Bluespec).





Day 14: Deriving

Functor

I don't know the history of derivinget al. I believe Simon PJ added it after enough nagging.