Type annotations more completely describe a program. This can be useful if your code-base's requirements are subject to rapid change (e.g. websites). But when y

Type annotations more completely describe a program. This can be useful if your code-base's requirements are subject to rapid change (e.g. websites). But when your program is something which has been well thought-out from the start, and thus whose requirements don't change during the course of development, I trust a program which has been statically-typed to not develop bugs over time. case in point: /usr/bin/git