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

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". :-)