Hacker News new | ask | show | jobs
by pjmlp 16 days ago
Swift, Linear Haskell, Chapel, Ada/SPARK are all counter examples from such claim.
1 comments
lioeters 16 days ago
Also OxCaml, from what I hear.
link
rienbdj 15 days ago
OCaml already starts form a memory safe base being GCd?
link
lioeters 15 days ago
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

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