[Haskell-cafe] Type arithmetic with ATs
andrewcoppin at btinternet.com
Wed Feb 10 14:29:57 EST 2010
OK, so I sat down today and tried this, but I can't figure out how.
There are various examples of type-level arithmetic around the place.
(This is THE first hit on Google, by the way. Haskell is apparently THAT
popular!) But this does type arithmetic using functional dependencies;
what I'm trying to figure out is how to do that with associated types.
(I know for a fact that other people have done this - rule 34 requires it.)
More information about the Haskell-Cafe