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

[Bjorn Buckwalter]

On Feb 5, 2008 2:16 PM, 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?

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