[Haskell-cafe] Type-level arithmetic

Andrew Coppin andrewcoppin at btinternet.com
Sat Oct 6 14:49:21 EDT 2007

I've seen quite a few people do crazy things to abuse the Haskell type 
system in order to perform arithmetic in types. Stuff the type system 
was never ever intended to do.

Well I was just wondering... did anybody ever sit down and come up with 
a type system that *is* designed for this kind of thing? What would that 
look like? (I'm guessing rather complex!)

More information about the Haskell-Cafe mailing list