Monthly Archives: July 2010

Typed type-level programming in Haskell, part III: I can haz typs plz?

Posted on July 19, 2010 by Brent

In Part II, I showed how type families can be used to do type-level programming in a functional style. For example, here is addition of natural numbers again: data Z data S n type family Plus m n :: * … Continue reading →

Posted in haskell | Tagged , , | 15 Comments

Typed type-level programming in Haskell, part II: type families

Posted on July 6, 2010 by Brent

In my previous post, we saw how multi-parameter type classes with functional dependencies in Haskell allow us to do type-level programming in a logic programming style. (If you’re not clear on why this corresponds to a logic programming style, see … Continue reading →

Posted in haskell | Tagged , , , | 5 Comments