On 2/6/2015 7:48 AM, "Ola Fosheim =?UTF-8?B?R3LDuHN0YWQi?=
<ola.fosheim.grostad+dl...@gmail.com>" wrote:
Then how is this more work than implementing something like a linear type system
that is both tedious for the programmer and has taken Rust 8 years to get into
working shape...?
Rust has "unsafe" blocks with specific instructions that it cannot be verified
mechanically and it is up to the programmer to ensure a safe interface to it.
So no, Rust didn't get that working, either, and it is far beyond current
compiler technology to do it.