> Sounds like Rust. If not, what do you think disqualifies it? Rust never struck me as a functional language. It's disciplined, in the manner of ML or Haskell

> Sounds like Rust. If not, what do you think disqualifies it? Rust never struck me as a functional language. It's disciplined, in the manner of ML or Haskell, but it is generally (and inextricably) an imperative language at heart. The strong type system is geared towards making imperative, stateful code safe, rather than eliminating it.