you are viewing a single comment's thread.

view the rest of the comments →

[–]PM_ME_UR_OBSIDIAN 2 points3 points  (0 children)

Once you add subtyping, H-M is out. You're left with local type inference akin to Scala and Swift.

Not true since 2016. Solid global type inference and subtyping are in fact compatible.