My guess is that people who feel that types "slow development down" just haven't become sufficiently familiar with the type system. In languages I am familiar

My guess is that people who feel that types "slow development down" just haven't become sufficiently familiar with the type system. In languages I am familiar with, types are just muscle memory. If anything, development is faster because of code completion. In languages I am learning, yes there tends to be some fumbling with the type system. But that fades with experience.