Tag Archives: functional dependencies

Typed type-level programming in Haskell, part I: functional dependencies

The other project I’m working on at MSR this summer is a bit more ambitious: our headline goal is to extend GHC to enable typed, functional, type-level programming. What’s that, you ask? Well, first, let me tell you a little … Continue reading

Posted in haskell | Tagged , , , | 13 Comments