[Nickle] Mutual tail-recursion
keithp at keithp.com
Tue Feb 21 15:35:27 PST 2006
On Tue, 2006-02-21 at 18:16 -0500, Michel Salim wrote:
> Apologies, this is definitely a case of RTFM. So right now the only
> snag with using higher-order functions is that its type signature is
> either very tightly specified (e.g. bool(int,int) ) or
> loosely-specified (e.g. bool(poly,poly) ), without a possibility of
> saying bool(a,a) that parametric polymorphism gives?
Right, we're stuck figuring out how to define and implement parametric
polymorphism, so all we've got right now is subclass polymorphism.
keith.packard at intel.com
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Size: 189 bytes
Desc: This is a digitally signed message part
Url : /pipermail/nickle/attachments/20060221/4c9967a6/attachment.pgp
More information about the Nickle