mirror
/
rustc-dev-guide
mirror of https://github.com/rust-lang/rustc-dev-guide.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Explained what HM type inference is.

This commit is contained in:
Alexander Regueiro 2018-02-04 21:28:29 +00:00 committed by Who? Me?!
parent 152c08b1c9
commit 80e9252f12
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/type-inference.md
View File

@ -1,7 +1,7 @@
# Type inference # Type inference
The type inference is based on standard HM-type inference, but The type inference is based on the standard Hindley–Milner (HM) system,
extended in various way to accommodate subtyping, region inference, but extended in various way to accommodate subtyping, region inference,
and higher-ranked types. and higher-ranked types.
## A note on terminology ## A note on terminology