Come funziona l'inferenza di tipo di Rust su più istruzioni?

Question

La ruggine esegue l'inferenza del tipo in situazioni abbastanza avanzate. Qualcuno potrebbe spiegare (o indicare) le regole che descrivono ciò che può e non può essere dedotto?

Il primo è semplice: il tipo di legame è il tipo di espressione legata:

let n = 10u32; 

// Same as: 
// vvvvv 
let n: u32 = 10u32; 

Questo prossimo uno è più sorprendente per me: il parametro generico sulla destra si deduce dalla rilegatura digitare sulla sinistra:

let n: u32 = "10".parse().unwrap(); 

// same as:   vvvvvvv 
let n: u32 = "10".parse::<u32>().unwrap(); 

Questo funziona anche per "le funzioni di membro" di tipi generici:

let b = Box::new(10u32); 

// same as: 
//  vvvvv  vvvvvvv 
let b: Box<u32> = Box::<u32>::new(10u32); 

Ma la più strana di tutte è inferenza di tipo attraverso dichiarazioni:

let v = Vec::new(); // no type! 
v.push(10u32);  // apparently v is Vec<u32>?! 
// v.push(10i32);  // type error 

Quali sono le regole per l'inferenza dei tipi e il tipo di detrazione?

Answer 1

Rust utilizza il sistema di tipo Hindley-Milner. È un insieme di regole su come stabilire tipi di espressioni in base al suo utilizzo.

descrizione formale e spiegazione può essere trovato lì:

"What part of Milner-Hindley do you not understand?"