On Thu, 12 Jul 2007, Stephen Wilson wrote: | I believe that it would | be worth while to consider the `static typing where possible, dynamic | typing where necessary' approach to language design.
I think we all agree on that. The issue -- a very tough isue -- is to define "where necessary" in the context of dependent types. -- Gaby _______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer