1. 17
  1.  

  2. 4

    Rust-style memory management meaning a borrow checker? If so, then this could be very interesting. The more language research along this direction the better, in my opinion.