Hindley-Milner Type Inference (2012)

Re:Hindley-Milner Type Inference (2012) by AzzieElbab on Friday July 10, 2020 @04:07PM (#23795813)

I do this on scala. Given scalac is much slower than ocaml compiler and inference is not as stellar. Regardless, explicit type annotations make code so much easier to read. Anonymous lambdas being an important exception

[ Parent | on HN ]

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.

[ Parent | on HN ]

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.

[ Parent | on HN ]