Small nitpick: some statically typed programming languages have optional type annotations.