I've seen it in things where performance isn't super important (OCaml is *slow* ... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

junon on April 29, 2022 | parent | context | favorite | on: The New OCaml Website

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 on April 30, 2022 [–]

OCaml 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/

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact