Use Idris then. This is why multiple languages exist; there are tradeoffs and you have to compromise.
-
-
Otherwise, investing in better iterator APIs strikes me as a better use of time than proof systems. Far better usability for similar results
-
Agreed for sequential access, not so sure for random access. Can e.g. sorting be implemented safely w/out dynamic checks or static proofs?
- 1 more reply
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.