Show r/rust: Wrote a toy type inferencer by implementing Hindley-Milner algorithm

• millet

  6 192 9.5 Rust

  A language server for Standard ML.

I also implemented HM-style type inference as part of Millet, a language server for Standard ML. Feel free to check it out.

• type-inferencer

  1 49 4.0 Rust

  hindley-milner algorithm

• InfluxDB

  www.influxdata.com sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• hm-infer-rs

  1 4 10.0 Rust

  Hindley-Milner type inference for Scheme, in Rust

I worked on a similar project a few months ago, I implemented HM inference for a Lisp-like language in Scheme, then ported it to C# and Rust to see how it would look.

• rust-analyzer

  132 13,538 10.0 Rust

  A Rust compiler front-end for IDEs

  

Suggest a related project