Comment on Java is the COBOL of my generation and Go is its successorparentComments−pjmlp12ySimilar 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−pcwalton12yNone 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).
Comments
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
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).