> then complain about types instead of talking about static analysis Static types are a form of static analysis. One that is deeply integrated into the languag

> then complain about types instead of talking about static analysis Static types are a form of static analysis. One that is deeply integrated into the language and compiler, which gives obvious advantages such as machine-checked documentation, custom invariants and error messages (expected a Currency but got a Country), better code generation, better tooling (IDE pop-ups, fast incremental checking) etc. Other forms of static analysis are of course useful too.