[Nickle] Mutual tail-recursion

[Keith Packard]

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