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

Alfonso Acosta alfonso.acosta at gmail.com
Mon Feb 11 13:43:13 EST 2008


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


More information about the Haskell-Cafe mailing list