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
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
