> 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
[email protected]
_______________________________________________
Axiom-developer mailing list
[email protected]
https://lists.nongnu.org/mailman/listinfo/axiom-developer
