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

On 2008-02-05, 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?

http://ofb.net/~wnoise/repos/dimensional/ -- Aaron Denney -><-