In the growing family of ML-inspired systems programming languages, it's worth mentioning ATS as well: http://www.ats-lang.org/ http://www.ats-lang.org/ A big

In the growing family of ML-inspired systems programming languages, it's worth mentioning ATS as well: http://www.ats-lang.org/ http://www.ats-lang.org/ A big difference here, though, is that AFAIK BitC removed macros, while both ATS and Rust have them in some form. Writing macros in an ML-like language doesn't really compare to writing them in Lisp, although in the case of Dale it's a little disappointing that the macro syntax looks more cumbersome than it could be.