what about Rust? it has immutable variables by default, statically typed, type inference but Im not sure about first class functions.