[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] axiom-wiki: PanAxiom or separate project
|
From: |
Waldek Hebisch |
|
Subject: |
Re: [Axiom-developer] axiom-wiki: PanAxiom or separate project |
|
Date: |
Mon, 11 Jun 2012 20:44:29 +0200 (CEST) |
> I just wanted to know if there is really no parametric polymorphism in Spad.
>
Parametric types available in Spad are more powerful than
parametric polymorphism in core ML, in particular you can
almost mechanically translate such code to Spad.
What Spad lacks is type reconstruction and general recursive
types (single recursion is doable by using %).
--
Waldek Hebisch
address@hidden