[Nickle] Mutual tail-recursion

Keith Packard 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
Type: application/pgp-signature
Size: 189 bytes
Desc: This is a digitally signed message part
Url : /pipermail/nickle/attachments/20060221/4c9967a6/attachment.pgp

More information about the Nickle mailing list