I think Rust may be a good fit, as it encourages a declarative style with things like immutability by default.