Ownership is used for more than just memory management though, concurrent memory... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		Sean1708 on Jan 20, 2017 \| parent \| context \| favorite \| on: Dafny – A programming language with a program veri... Ownership is used for more than just memory management though, concurrent memory access for example.

tom_mellior on Jan 20, 2017 [–]

True! I wasn't thinking beyond verification of single-threaded programs, which is hard enough as it is ;-)

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