2 ms·
Productivity can be really subjective. Those that are used to modeling the problem domain with the type system find that their most productive approach, even wi
by hopia 7y ago
Productivity can be really subjective. Those that are used to modeling the problem domain with the type system find that their most productive approach, even with prototyping.
- dllthomas 7y agoRight, and the type system is such a big help in refactoring - especially in small projects - that you don't have to be all that right in your first N cuts at the model. You can write code and find out where you're wrong, and fix it fast.
- pwm 7y agoIt’s even more help in larger projects :) The dividends of type-checher aid refactoring really start paying off once the project is above a a certain size/age.
- dllthomas 7y agoYeah, I think I was unclear. Given a need to refactor, it's a bigger help on a bigger refactor. But a large refactor on a large project is still a pain. By the time you get there, you still want your model stable and/or flexible enough that you don't need to do that much. On a small enough project, every refactor is easy enough that you can lean into it. Make a bunch of assumptions you're not confident about, setting up the types so you're sure you'll know what needs fixing when they're wrong. Then you test those assumptions as you write - and run - more code.