2 ms·
Honestly I think moving to towards Idris/coq level type systems saves more time in the long run. Being close c means you discover errors at run time, then you
by UK-AL 7y ago
Honestly I think moving to towards Idris/coq level type systems saves more time in the long run.
Being close c means you discover errors at run time, then you have to come back to cover them.
- bmurphy1976 7y agoFor humongous projects or critically important ones I'd agree with you, but for smaller/mid sized projects I can't agree. I think it's total overkill in many instances. Would be nice if there was a language that scaled from C to Idris gracefully, but C++ and Scala make me think that's a pipe dream.