Inferring from context declarations
Thu, 22 Feb 2001 08:23:53 +0100
Lennart Augustsson writes:
> > 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).
I'd like to see an example of this!