Exactly what I was thinking, tedious type annotations on everything vs dynamic types, we have languages with strong static type systems and inference, so it’s a false choice.