Thoughts on Rust, Programming Languages and Software Engineering from David Wood, co-lead of the Rust compiler team