Hi Gim,
On Wed, Feb 17, 2010 at 5:34 PM, Stéphane Gimenez
stephane.gime...@pps.jussieu.fr wrote:
Questions:
- Is it theoreticaly safe to generalize recursive calls ?
Yes. And this is done in explicitly-typed languages, such as in Coq.
- Is there a syntactical trick to use generalized
On Mon, Dec 21, 2009 at 2:44 PM, Goswin von Brederlow goswin-...@web.de wrote:
However it issues a warning so i acknowledge it's less elegant.
Which I don't quite understand.
The warning is based on the results of the type inference algorithm.
You're not supposed to find values of type 'a. 'a