Comment by tormeh
11 years 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.
11 years 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.
With 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.