Ralf Hemmecke <[EMAIL PROTECTED]> writes: [...]
| And no matter how strongly typed Axiom will be, it must provide a nice | way to deal with arbitrary expressions. But it should allow to add | more and more structure to these expressions as the user understands | the mathematics behind it. Yes. For the distinction is more about how types are used and viewed. It it more at the level of our -approach- to the subject (computattional mathematics and logic). I would not name weather prediction science differently just because it uses software written in Fortran instead of, say, Ada or vice versa. -- Gaby _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
