4 ms·
It is amazing how none of these bugs can happen with a compiling program in Ocaml
by bgorman 5y ago
It is amazing how none of these bugs can happen with a compiling program in Ocaml
- blacktriangle 5y agoThe paper was explicitly studying Java. I suspect performing the same exercise against OCaml or any other language would give you a very different list of very real problems.
- tsumnia 5y agoI can't recall the exact author/paper, but I recall reading similar types of errors were observed by students learning Python. Edit: Found it (https://dl.acm.org/doi/pdf/10.1145/3287324.3287381 https://dl.acm.org/doi/pdf/10.1145/3287324.3287381)
- meetups323 5y agoOCaml doesn't have linear types.
- spdegabrielle 5y agoI think this is worth considering!