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

[Aaron Denney]

On 2008-02-05, Alfonso Acosta <alfonso.acosta at gmail.com> wrote:
> On Feb 5, 2008 4:10 PM, Henning Thielemann
><lemming at henning-thielemann.de> wrote:
>>
>> On Fri, 1 Feb 2008, Aaron Denney wrote:
>>
>> > 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".
>>
>> 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
-><-