[isabelle-dev] A possible bug with Isabelle 2013
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