Comment by tegeek

If you've a look at F#, you get all of the things you said plus OCamel syntax (without functors etc.).