3 ms·
Don't care for the way they do exceptional handling. Make errors part of the type system
by influxmoment 3y ago
Don't care for the way they do exceptional handling. Make errors part of the type system
- tomcam 3y agoCan you ELI 5?
- maleldil 3y agoHandle errors using exceptions (like most languages today, e.g. C++, Java, Python) vs errors as values (e.g. Rust, Go, Haskell). The type system (especially for Rust and Haskell) forces you to always handle the error, or you have a compilation error. With some syntactic sugar (? in Rust, do notation in Haskell), you can be as concise as exception-based languages.
- tomcam 3y agoOK a lot of pieces just dropped in the place with your explanation. I’ve never heard it said so compactly before.