[BurningFrog]

That kind of back-and-forth dynamic ideally ends up with something combining the best parts of both approaches.

Is anything like that happening?

[jghn]

I agree and I believe that's what has been happening. In another post I mentioned an increase of type inference & related technologies. For instance, one annotates the type signatures for inputs & outputs of a function as well as any tricky constructs for readability, but doesn't bother with "int x = 5".

Reduces manual boilerplate and visual noise while retaining static typing semantics.