4 ms·
Types speed up my development: they obviate a certain kind of unit tests. If you weren't going to write those unit tests without the types, anyway, then it help
by nothrabannosir 12y ago
Types speed up my development: they obviate a certain kind of unit tests. If you weren't going to write those unit tests without the types, anyway, then it helps because you now catch type mismatches at compile time instead of runtime.
- tormeh 12y agoThe question is whether types are the most productive area to focus on when developing better compile-time checks. Maybe it would be better to design languages that solve problems by other means.
- tluyben2 12y agoWith Shen you can use them when you want. So you can create things fast and add types / tests / proofs when you want and when it seems prudent.