News for hackers. Stuff that matters.

A comment on Bootstrapping Urbit from Ethereum. Parent comment

Re:Bootstrapping Urbit from Ethereum by steveklabnik on Thursday September 21, 2017 @09:16AM (#15303008)
(Rust doesn't use Hindley-Milner, though the plan is to try to move closer to it in the future)
[ Parent | on HN ]
Re:Bootstrapping Urbit from Ethereum by mrkgnao on Thursday September 21, 2017 @11:40AM (#15304555)
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.)

[ Parent | on HN ]
Re:Bootstrapping Urbit from Ethereum by steveklabnik on Thursday September 21, 2017 @11:57AM (#15304740)
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. :)

[ Parent | on HN ]