[isabelle-dev] A possible bug with Isabelle 2013

[Makarius]

Some more hints at the general perspective of variants of Hindley-Milner 
polymorphism:

   * Many Java programmers consider type-inference a "bug".

   * Scala people are used to a much more complex situation than in ML,
     Haskell, or Isabelle.

Apart from Odersky himself there is probably nobody who understands how it 
really works.  I am the last one to favour complexity as an end in itself 
-- Scala-2.10.x introduces yet more sophistication that is not always an 
improvement of average code quality.


 	Makarius