From: Gabriel Dos Reis <gdr@cs...> - 2012-03-12 20:02:39
Waldek Hebisch <hebisch@...> 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
use that to achieve great performance.