11 Feb
2008
11 Feb
'08
1:43 p.m.
Hi Dan,
On Feb 10, 2008 6:08 PM, Dan Licata
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