4 ms·
Type systems are a burden because (a) a programmer needs to think of the types he or she should design, (b) a programmer needs to actually utilize those types t
by yokohummer7 11y ago
Type systems are a burden because (a) a programmer needs to think of the types he or she should design, (b) a programmer needs to actually utilize those types to write his or her program, (c) they can only act as a safety net.
- pm90 11y agoAs always, there is a tradeoff. Like the gp mentioned, type systems allow you elliminate much unit test code that would otherwise be required. Personally, I do love me a type system. Even if you have to think harder about how to architect your code, I think this kind of thinking is required for software to be good.