[Haskell-cafe] Implementing fixed-sized vectors (using datatype
algebra?)
Alfonso Acosta
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
> http://www.haskell.org/haskellwiki/Type_arithmetic
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 ..
> http://www.haskell.org/ghc/docs/latest/html/libraries/base/Data-Fixed.html#t%3AFixed
>
> also here:
> http://hackage.haskell.org/cgi-bin/hackage-scripts/package/numbers-2007.9.25
> ?
I'm probably missing something, but I don't understand how these
libraries could help.
Thanks,
Fons
More information about the Haskell-Cafe
mailing list