News for hackers. Stuff that matters.
Re:Hindley-Milner Type Inference (2012) by nine_k on Friday July 10, 2020 @05:19PM (#23796609)
The real footgun in Scala, to my mind, is implicits.

They are inferred, and that's the point of their ergonomics, but when they are inferred incorrectly, it becomes pretty confusing and sometimes cryptic.

Re:Hindley-Milner Type Inference (2012) by lmm on Friday July 10, 2020 @11:03PM (#23799106)
Not to make excuses for the poor errors in the default language, but the "splain" plugin can help a lot, as can ctrl-shift-P in IntelliJ.