Hacker News Reader

Swift, Linear Haskell, Chapel, Ada/SPARK are all counter examples from such claim.

Also OxCaml, from what I hear.

Yes, it is getting there, however I would rather count it when they finally manage to upstream everything to OCaml as per plan.

OCaml already starts form a memory safe base being GCd?

I'm not familiar but I think this paper describes how OxCaml works:

Oxidizing OCaml with Modal Memory Management - https://dl.acm.org/doi/10.1145/3674642

> We focus on three mode axes: affinity, uniqueness and locality. Modes are fully backwards compatible with existing OCaml code and can be completely inferred. Our work makes manual memory management in OCaml safe and convenient and charts a path towards bringing the benefits of Rust to OCaml.

https://github.com/oxcaml/oxcaml

Reply on news.ycombinator.com