Hi Dan, On Feb 10, 2008 6:08 PM, Dan Licata <[EMAIL PROTECTED]> 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 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
