The borrowchecker is what I like the least about Rust

Re:The borrowchecker is what I like the least about Rust by nine_k on Saturday July 19, 2025 @04:30PM (#44619086)

Rather, an academia language.

Also, OCaml had trouble with multithreading for quite some time, which was a limiting factor for many applications.

Facebook made a large effort to thrust OCaml into the limelight, and even wrote a nice alternative frontend (Reason). Sadly, it did not stick.

[ Parent | on HN ]

Re:The borrowchecker is what I like the least about Rust by creata on Saturday July 19, 2025 @04:34PM (#44619131)

I had the impression that SML was more popular in academia, and OCaml in industry.

Old but funny comparison: http://adam.chlipala.net/mlcomp/

[ Parent | on HN ]

Re:The borrowchecker is what I like the least about Rust by coldtea on Saturday July 19, 2025 @07:33PM (#44620482)

If by "popular in industry" you mean a handful of companies use it, but has 1/100th the momentum and community and resources of Go or Rust, then yes.

[ Parent | on HN ]

Re:The borrowchecker is what I like the least about Rust by creata on Saturday July 19, 2025 @07:35PM (#44620494)

I meant among ML-family languages.

> 1/100th the momentum and community and resources of Go or Rust

I think even 1/100 would be pretty generous.

[ Parent | on HN ]

Re:The borrowchecker is what I like the least about Rust by pyrale on Saturday July 19, 2025 @05:47PM (#44619728)

SML was a generation before ocaml. I would say the two languages from the same generation that competed for academia's mindshare were ocaml and Haskell.

[ Parent | on HN ]

Re:The borrowchecker is what I like the least about Rust by creata on Saturday July 19, 2025 @06:57PM (#44620233)

Timeline-wise, sure, but I was referring to their present-day use.

[ Parent | on HN ]