Re: [Haskell-cafe] Re: Implementing fixed-sized vectors (using datatype algebra?)

On Feb 5, 2008 2:16 PM, Alfonso Acosta wrote:

On Feb 5, 2008 4:10 PM, Henning Thielemann wrote:

...

On Fri, 1 Feb 2008, Aaron Denney wrote:

...

On 2008-02-01, Bjorn Buckwalter wrote:

...

If Naturals had been sufficient for me I wouldn't have done my own implementation (I'm unaware of any other implementation of Integers). And there is certainly a lot of value to the clearer error messages from a decimal representation.

I did a balanced-base-three (digits are 0, and +- 1) representation to get negative "decimals".

Nice. In German the digit values are sometimes called "eins, keins, meins". :-)

I'm almost done with the decimal library but it would be nice to check some Integer implementations for future inclusion. So, Aaron, Björn, are your implementations available somewhere?

As noted elsewhere in the thread my implementation is available at: http://www.buckwalter.se/~bjorn/darcs/dimensional/Numeric/NumType.lhs It is my intent to extract this (self-contained) module to its own package and put on hackage. It's been a low priority for me but I'm rather incentivized by this thread. Thanks, Bjorn