CALL FOR PAPERS
**
COMPUTING AND PHILOSOPHY
E-CAP2004_ITALY
Pavia, Italy, Collegio Ghislieri, June 3-5, 2004
*
On Sun, 21 Sep 2003, Dominic Steinitz wrote:
>
> Brandon,
>
> I get the error below without the type signature. My confusion was thinking
> I needed rank-2 types. In fact I only need polymorphic recursion. Ross
> Paterson's suggestion fixes the problem. I stole Even and Odd from Chris
> Okasaki's
Ross,
Thanks very much. I was going to use
coal :: Vector a -> [a]
coal = coal_ (\() -> []) (\x -> [x])
but I prefer your definitions.
Dominic.
- Original Message -
From: "Ross Paterson" <[EMAIL PROTECTED]>
To: "Dominic Steinitz" <[EMAIL PROTECTED]>
Cc: <[EMAIL PROTECTED]>
Sent: Saturd
Brandon,
I get the error below without the type signature. My confusion was thinking
I needed rank-2 types. In fact I only need polymorphic recursion. Ross
Paterson's suggestion fixes the problem. I stole Even and Odd from Chris
Okasaki's paper on square matrices. They relate to fast exponentation