Type inference in programming languages can make code less readable and harder to write. In some languages like OCaml, type inference can lead to errors that are difficult to locate.
Table of contents
Type Inference Makes Code Less ReadableIn Ocaml, Type Inference is a FootgunType Inference Wastes Academic EffortThe Whole Idea is Backwards28 Impressions