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

On Feb 6, 2008 8:47 PM, Alfonso Acosta wrote:

On Feb 7, 2008 2:30 AM, Bjorn Buckwalter 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! ;)