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

[Alfonso Acosta]

Hi Dan,

On Feb 10, 2008 6:08 PM, Dan Licata <drl at cs.cmu.edu> wrote:
> > > The ideal type for the function would be:
> > >
> > > vector :: [a] -> FSVec s a

Well, I probably didn't express myself properly when writing "The
ideal type", "the first type which comes to mind" would have been more
accurate.

Thanks for your explanation, which is actually much better than mine
and, in fact, almost identical to the one included in
http://ofb.net/~frederik/vectro/draft-r2.pdf