2 ms·
OCaml seems like the argument against Rust's claim to trade usability for safety. It's not true for everything, I wouldn't write embedded OCaml, but it's an eas
by Bartweiss 10y ago
OCaml seems like the argument against Rust's claim to trade usability for safety. It's not true for everything, I wouldn't write embedded OCaml, but it's an easy disproof-by-example for "Rust's difficulty is the inevitable price for trustworthy code!"
Which isn't to say OCaml is trivial, or Rust is useless (GC and threading both being limitations). It just makes me skeptical of claims that Rust's difficulty is irreducible.
- kibwen 10y agoRust's difficulty relative to OCaml might be irreducible if we consider the difficulty added by not providing a pervasive GC, which is part of Rust's design goal and not part of OCaml's.
- Ar-Curunir 10y agoBut OCaml isn't intended for the use cases Rust is intended for: a replacement for C and C++
- pjmlp 10y agoIt depends on the use cases you mean. OCaml is actually used for many systems programming tasks that can live with a tracing GC.
- GregBuchholz 10y ago>I wouldn't write embedded OCaml But you can run OCaml on a microcontroller: http://www.algo-prog.info/ocapic/web/index.php?id=ocapic http://www.algo-prog.info/ocapic/web/index.php?id=ocapic