Niko Matsakis (Baby Steps) personal blog

An Experimental New Type Inference Scheme for Rust

While on vacation, I’ve been working on an alternate type inference scheme for rustc. (Actually, I got it 99% working on the plane, and have been slowly poking at it ever since.) This scheme simplifies the code of the type inferencer dramatically and (I think) helps to meet our intutions (as I will explain). It is…
Points
185
HN comments
11
Submissions
1
Cited by
3 commenters

Software EngineeringProgramming Languages2014

On Hacker News

SubmittedTitle on HNPointsComments
Jul 9, 2014An Experimental New Type Inference Scheme for Rust by pohl18511

Cited in comments

Linked from 3 Hacker News comments by 3 different people, from Oct 2014 to Aug 2022.

Most recent:

Search every comment that links here →

More from Niko Matsakis (Baby Steps)

All 18 posts →

Related posts from the same era