[thestephen]

I'm curious in what way static languages are "designed for developers who aren't good at coming up with abstractions", are "more work" and "slow down progress".

Those are quite strong statements to not be backed up by strong examples, and I personally find that your example does not clearly illustrate how that would make statically typed languages have the attributes you ascribe them.