Not OP, but if you look at Rust, take out the borrow checker and you basically have Swift. It's a nice combination of modern OO and functional language constructs that make it easy to write elegant abstractions.