Inferring from context declarations

Lennart Augustsson augustss@augustsson.net
Wed, 21 Feb 2001 12:19:14 -0500 (EST)


> Simon Peyton Jones' comments about dictionary passing are a red herring,
> since they assume a particular form of compiler.  Various (MLj, MLton)
> ML compilers already inline out all polymorphism.
ML is a language where you can do this.  In Haskell it is not always
possible to eliminate all polymorphism (due to polymorphic recursion).

	-- Lennart