[Haskell-cafe] Implementing fixed-sized vectors (using datatype
alfonso.acosta at gmail.com
Thu Jan 31 11:49:15 EST 2008
> I remember that type-level arithmetic is already implemented somewhere,
> certainly more than once, but certainly seldom in a nicely packaged form.
> erm, here
Yep, there seem to be a few implementations around (decimal, binary,
peano) but Oleg's decimal one is likely to be the most friendly when
it comes to compiler errors etc ..
> also here:
I'm probably missing something, but I don't understand how these
libraries could help.
More information about the Haskell-Cafe