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

[Alfonso Acosta]

On Feb 5, 2008 8:29 PM, Bjorn Buckwalter <bjorn.buckwalter at gmail.com> wrote:
>
> 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

Thanks!

> 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.

Great!

How about joining efforts? As I said I almost have a preliminary
version of the decimal library which I'll realease for reviewing
purpouses soon (It won't include Integer computations though)