In rust, you are required to annotate at least the interface. In Haskell, if I remember it well, it is allowed but not required. Even in Rust, I tend to speci

In rust, you are required to annotate at least the interface. In Haskell, if I remember it well, it is allowed but not required. Even in Rust, I tend to specify types at variable bindings if the type gets overly complex, just to push errors closer to their cause. A nice feature of Rust is you can specify partial types, wih underscores for the still-to-infer part. E.g. let x:Vec<_>=someexpression; is a vector of something, but you don't know what exactly.