Hacker News new | ask | show | jobs
by steveklabnik 3198 days ago
(Rust doesn't use Hindley-Milner, though the plan is to try to move closer to it in the future)
1 comments
mrkgnao 3198 days ago
Oh, thanks for the correction.

It would appear that my knowledge is out of date: did Rust use something closer to H-M in the past? (Going off of https://github.com/rust-lang/rust/pull/15955 here.)

link
steveklabnik 3198 days ago
For more, see here: https://www.reddit.com/r/rust/comments/6fs5q9/language_serve... see aturon's reply about that PR/blog post.

Rust has done almost everything in the past; I wouldn't be surprised if somewhere back in there it was actually HM. :)

link