I would love to see something like C with a borrow checker and Result/Option but not the fancy type system.