> It contributes significantly to the verbosity of the code. No, it doesn't. The only places this is meant to be used is at interface points, i.e., declaring o

> It contributes significantly to the verbosity of the code. No, it doesn't. The only places this is meant to be used is at interface points, i.e., declaring object member attributes and method/function signatures. We're not talking Java or C++ levels of type annotation here: we're talking Go, Haskell, and O'Caml levels of type annotation at most. And this is the core of the FUD around type annotations: people act like it's introducing Java and C++ levels of needless crud into the language, when the actual number of places where it's meant to be used is much smaller.