Hacker News new | ask | show | jobs
by pjmlp 4427 days ago
Similar approaches do/did exist.

ATS uses theorem-proving, http://www.ats-lang.org/.

ParaSail uses regions, https://forge.open-do.org/plugins/moinmoin/parasail/

BitC used the type system, http://www.bitc-lang.org
1 comments
pcwalton 4423 days ago
None of these have the borrow check. From what I've heard the borrow check is impossible to encode generically in ATS (though maybe that has changed).
link