in my experience, when programming with dynamic types, I tend to feel like I'm spending a lot of my time solving the *computer's* problems for it; whereas with static types, I feel like that time gets spent thinking about how to get the computer to solve more of *my* problems
Conversation
That’s interesting :) because I often hear experienced Common Lisp devs say that with statically typed langs they tend to feel like solving compiler’s problems and not their own. Compiler problems need sometimes workarounds then.
1
1
5
Part of it involves learning how to wield types as a method of program specification. If your willing to spend that time learning how to use types to your advantage can give you a huge amount of leverage - if you're not then you're in for a tough time.
1
4
Hopefully as type and value languages converge, getting leverage out of types will become easier (it's just like regular programming), and hopefully we'll find more ways to make learning them easier, with better tooling and error reporting. There's still a ton to do!