> I just understood that to mean anywhere, but it must have a more technical meaning that I am ignorant of) AFAIK, Rust can infer types within a function, but

> I just understood that to mean anywhere, but it must have a more technical meaning that I am ignorant of) AFAIK, Rust can infer types within a function, but not the signature of the function itself. On the other hand, Haskell uses Hindley-Milner type inference to infer the types for the whole program (in practice, you'll want to add type signatures anyway, but that's not strictly necessary).