4 ms·
> Your compiler can instantly tell you what you've broken. For some definition of "instant". I can often run my Python or JavaScript test suite faster than Ha
by strager 4y ago
> Your compiler can instantly tell you what you've broken.
For some definition of "instant".
I can often run my Python or JavaScript test suite faster than Haskell/GHC or Rust/rustc can type-check a module.
And it can take a while to understand Haskell, Rust, or C++ error reports.
(Of course, Python and JavaScript startup time and execution speed can hurt refactoring too. And AttributeError-s and random undefined-s aren't always easy to debug.)
- elteto 4y agoGot it, you can be wrong faster!
- wtetzner 4y agoI doubt you can run your Python or JavaScript test suit faster than the OCaml compiler could both typecheck and compile your code.
- ReactiveJelly 4y agoHow many hours do you, the human, have to spend maintaining the type-checking of that test suite?