[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

Thanks for your explanation, which is actually much better than mine
and, in fact, almost identical to the one included in

More information about the Haskell-Cafe mailing list