3 ms·
I've seen it in things where performance isn't super important (OCaml is slow as per my experience). Many, many provers/theorum solvers use OCaml because it red
by junon 5y ago
I've seen it in things where performance isn't super important (OCaml is slow as per my experience). Many, many provers/theorum solvers use OCaml because it reduces the bugs in the provers themselves.
- agravier 5y agoOCaml is not slow in my experience, but we should probably look at what big teams using OCaml in a performance sensitive setting have to say. https://www.janestreet.com/tech-talks/safe-at-any-speed/ https://www.janestreet.com/tech-talks/safe-at-any-speed/