3 ms·
The 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
by tormeh 12y ago
The 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.