[isabelle-dev] A possible bug with Isabelle 2013

Makarius makarius at sketis.net
Fri Mar 1 13:49:53 CET 2013

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

   * 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.


More information about the isabelle-dev mailing list