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

Bjorn Buckwalter bjorn.buckwalter at gmail.com
Fri Feb 8 20:59:41 EST 2008


On Feb 6, 2008 8:47 PM, Alfonso Acosta <alfonso.acosta at gmail.com> wrote:
> On Feb 7, 2008 2:30 AM, Bjorn Buckwalter <bjorn.buckwalter at gmail.com> wrote:
> > Ok. Is this what people want -- one big hold-all library with
> > everything, as opposed to smaller more specialized packages? I guess I
> > can see advantages (real or perceived) to both approaches.
>
> Apart from Dockins' typenats library there are no other user-friendly
> specific type-level libraries that know, so I cannot really tell if
> people would prefer a hold-all library or a couple of more granular
> specialized ones.
>
> Right now is not hold-all at all (it is still vaporware actually :)),
> so I think there's no reason to discuss that at this point. Let's see
> what people think.

Right, of course. I'll be taking a look at your no-longer-vaporware! ;)


More information about the Haskell-Cafe mailing list