On Friday, 3 June 2016 at 00:31:31 UTC, Walter Bright wrote:
If they cover the cases that matter, it's good. Rust has the type system annotations you want, but Rust has a reputation for being difficult to write code for.
I think we can incorporate typesafe borrowing without making it difficult to write.