Use Idris then. This is why multiple languages exist; there are tradeoffs and you have to compromise.
-
-
True index OOB situations often arise from untrusted input and so have to be dynamic checks anyway.
-
Otherwise, investing in better iterator APIs strikes me as a better use of time than proof systems. Far better usability for similar results
- 2 more replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.