mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

remove references to HM inference

Browse Source 
Fixes #17229.
This commit is contained in:
Steve Klabnik 2014-09-13 14:38:53 -04:00
parent df6240dc9e
commit b45853860c
1 changed files with 2 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/doc/guide.md
View File

@ -392,14 +392,10 @@ By the way, in these examples, `i` indicates that the number is an integer.
Rust is a statically typed language, which means that we specify our types up Rust is a statically typed language, which means that we specify our types up
front. So why does our first example compile? Well, Rust has this thing called front. So why does our first example compile? Well, Rust has this thing called
"[Hindley-Milner type "type inference." If it can figure out what the type of something is, Rust
inference](http://en.wikipedia.org/wiki/Hindley%E2%80%93Milner_type_system)",
named after some really smart type theorists. If you clicked that link, don't
be scared: what this means for you is that Rust will attempt to infer the types
in your program, and it's pretty good at it. If it can infer the type, Rust
doesn't require you to actually type it out. doesn't require you to actually type it out.
We can add the type if we want to. Types come after a colon (`:`): We can add the type if we want to, though. Types come after a colon (`:`):
```{rust} ```{rust}
let x: int = 5; let x: int = 5;