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
This Tweet was deleted by the Tweet author. Learn more
Holes and deferred type errors allow you to get back some of the benefits of dynamic types. Haskell and Idris implement these, hopefully Rust gets them sometime soon. You can have your cake and eat it too!