3 ms·
This is perhaps the most "blub" comment ever written. There are whole classes of bugs that can be caught with more advanced type systems that the Rust type syst
by WJW 6y ago
This is perhaps the most "blub" comment ever written. There are whole classes of bugs that can be caught with more advanced type systems that the Rust type system + borrow checker will never catch. No null pointers and immutability is the bare minimum.
If you're interested, check out https://www.youtube.com/watch?v=10gSoVZ5yXY https://www.youtube.com/watch?v=10gSoVZ5yXY for an example of the types of compile time guarantees can be had.
- tormeh 6y agoDoes OCaml have dependent types? I thought that was a Coq and Idris (and Haskell, to a lesser extent) thing. I am aware that dependent types exist, but quite frankly I've yet to see a popular/ergonomic language implement them. As much as we'd like absence of null pointers, error types, and immutability to be the norm it is not and it will take decades until it is.
- pjmlp 6y agoYou can also do it in Ada/SPARK, Eiffel DBC, F*, Dafny.