> dynamically typed language with type annotations I'm talking about statically typed languages also, just ones with inference. Haskell, Rust, Ocaml, F#, Go, e

> dynamically typed language with type annotations I'm talking about statically typed languages also, just ones with inference. Haskell, Rust, Ocaml, F#, Go, etc, and increasingly languages like C# and Java are adding more and more inference. Your response makes me think you don't really get what type inference is.