Waldek Hebisch <hebi...@math.uni.wroc.pl> writes: [...]
| To make this more clear: unlike languages like ML in FriCAS | generic coding does not require common repersentation. Nothing in ML requires generic codes to have common representation (even if that simplifies certain implementations) thanks to intensional type polymorphism. Compilers like MLton http://mlton.org/pipermail/mlton/2002-August/022174.html use that to achieve great performance. -- Gaby ------------------------------------------------------------------------------ Try before you buy = See our experts in action! The most comprehensive online learning library for Microsoft developers is just $99.99! Visual Studio, SharePoint, SQL - plus HTML5, CSS3, MVC3, Metro Style Apps, more. Free future releases when you subscribe now! http://p.sf.net/sfu/learndevnow-dev2 _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
