Bookmarks tagged hm

View all bookmarks

Anyone know of any @rustlang implementations of a Hindley-Milner type checker?

twitter.com/rtfeldman/status/1140133526530121728

Saved June 16, 2019

Algorithm W in rust

github.com/nwoeanhinnogaehr/algorithmw-rust

Saved June 16, 2019

Hindley Milner in rust

github.com/tcr/rust-hindley-milner/blob/master/src/lib.rs

Saved June 16, 2019