Similar approaches do/did exist. ATS uses theorem-proving, http://www.ats-lang.o... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

pjmlp on May 2, 2014 | parent | context | favorite | on: Java is the COBOL of my generation and Go is its s...

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

pcwalton on May 6, 2014 [–]

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).

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact