4 ms·

> Any compiler of sound mind and memory will issue an error GHC would beg to differ.

• mattnewton 10y ago
  That was my first thought, that this is being presented as a fundamental tenant of compilers and really it's a design choice that a whole family of languages, some of them that people even use, didnt make.
• masklinn 10y ago
  Also rustc, though it doesn't quite have overloading in the Java sense: https://is.gd/s0oF79 https://is.gd/s0oF79
  • floatboth 10y ago
    GHC doesn't either. Rust traits are heavily inspired by Haskell typeclasses… so it's like in your example.
  • mayoff 10y ago
    Swift has overloading in the Java sense, and does allow overloading by return type.
• cjensen 10y ago
  Ada also allows return type overloading. A complaint against Ada is that it is hard for the compiler to figure out the right overloading in a complex statement with many nested function calls. My compilers prof took the time to show how to do it, and why it doesn't take much time. Too bad C's automatic conversions prevent this from being used in C++.