[seabrookmx]

Many smart engineers (including Guido) disagree with you, and have added static types to Python, Javascript, Dart, Elixir, Hack and surely some I'm forgetting.

[dismalaf]

I use statically typed languages. There's benefits.

There's also benefits to dynamically typed languages, namely runtime metaprogramming.

Dynamic typing + type annotations is the worst of both worlds for questionable benefit.

[seabrookmx]

> the worst of both worlds

Agree to disagree!