user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Explained what HM type inference is.

Browse source
This commit is contained in:
Alexander Regueiro 2018-02-04 21:28:29 +00:00 • committed by Who? Me?!
parent c45b135799
commit 198054ea53
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/doc/rustc-dev-guide/src/type-inference.md
View file

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