3 ms·
If the languages supported dependent types and everything that happens in cutting edge PL research, wouldn't programming become super hard anyway for average pr
by z3phyr 7y ago
If the languages supported dependent types and everything that happens in cutting edge PL research, wouldn't programming become super hard anyway for average programmers who have pressure to deliver?
- peterkelly 7y agoPerhaps. But for for critical systems where security or reliability is a requirement, it's more important to get it right than to get it done quickly. Trying to rush these things is just asking for trouble.