> Whereas languages that achieve memory safety via a GC, allow me to focus my mental energy on writing correct code, not on memory management. Ownership type s

> Whereas languages that achieve memory safety via a GC, allow me to focus my mental energy on writing correct code, not on memory management. Ownership type systems are supposed to rule out synchronization errors (say, data races), which is something you may want regardless of how memory is managed. Say, the research on ownership types that came out of MIT in early '00s worked with a subset of Java (see OOPSLA'02 "Ownership Types for Safe Programming: Preventing Data Races and Deadlocks").