From b45853860c17937d966c94ca4b9b3d949eaffa67 Mon Sep 17 00:00:00 2001 From: Steve Klabnik Date: Sat, 13 Sep 2014 14:38:53 -0400 Subject: [PATCH] remove references to HM inference Fixes #17229. --- src/doc/guide.md | 8 ++------ 1 file changed, 2 insertions(+), 6 deletions(-) diff --git a/src/doc/guide.md b/src/doc/guide.md index c769528c753..39da876ab85 100644 --- a/src/doc/guide.md +++ b/src/doc/guide.md @@ -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 front. So why does our first example compile? Well, Rust has this thing called -"[Hindley-Milner type -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 +"type inference." If it can figure out what the type of something is, Rust 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} let x: int = 5;