This falls short with generics, e.g. let map = HashMap::new(); // <K,V> unknown ... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		pornel on July 10, 2020 \| parent \| context \| favorite \| on: Hindley-Milner Type Inference (2012) This falls short with generics, e.g. `let map = HashMap::new(); // <K,V> unknown map.insert("hello", 1);`

eru on July 11, 2020 | [–]

I think that works in Rust, and they only do local inference (in the same function).

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact