Inferring from context declarations

[Marcin 'Qrczak' Kowalczyk]

Wed, 21 Feb 2001 16:46:48 +0100, George Russell <ger@tzi.de> pisze:

>     Various (MLj, MLton)
>     ML compilers already inline out all polymorphism. Some C++ compilers/linkers
>     do it in a rather crude way as well, for templates.  If you can do it,
>     you can forget about dictionary passing.

It would require to keep bodies of all polymorphic functions in
a form allowing instantiation in different modules. For example
ghc already requires too much memory (even a hundred MB for large
modules), and it leads to code bloat, so in the current state of
technology it's not advisable to always compile out polymorphism.

-- 
 __("<  Marcin Kowalczyk * qrczak@knm.org.pl http://qrczak.ids.net.pl/
 \__/
  ^^                      SYGNATURA ZASTĘPCZA
QRCZAK