But OCaml and Rust infer types pretty well so people can avoid writing type annotations and still get quite far.
But yeah, it doesn’t nullify the argument that people have to be aware of the types of data they’re working with regardless.
2 Likes