Wouldn't this "val" be the same as "final"? Also related, it annoys me that Java has final but otherwise poor/leaky support for immutability. You can mark some

Wouldn't this "val" be the same as "final"? Also related, it annoys me that Java has final but otherwise poor/leaky support for immutability. You can mark something final but most Java code (and a lot of the standard library) uses mutable objects so the final does basically nothing... C++ "const" desparately needs to spread to other languages.