3 ms·
As about bounds checking, unfortunately, there aren't many languages with dependent typing. (And Nimrod lacks them too.) I mean, it's frustrating when a progra
by drdaeman 13y ago
As about bounds checking, unfortunately, there aren't many languages with dependent typing. (And Nimrod lacks them too.)
I mean, it's frustrating when a program suddenly fails at runtime. Especially when it can be proved at compile time that values won't (actually, can't) get out of bounds.