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

[Aaron Denney]

On 2008-02-01, Bjorn Buckwalter <bjorn.buckwalter at gmail.com> 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".  Again, for a proof-of-concept dimensional
analysis arithmetic.  No problem with the stack, but the error messages
are still less than clear.

-- 
Aaron Denney
-><-