> When was the last time you saw a systems language that scaled comfortably and gracefully from embedded systems to web services? Have a look at ATS[1], it sup

> When was the last time you saw a systems language that scaled comfortably and gracefully from embedded systems to web services? Have a look at ATS[1], it supports many features that are available in Rust, and let you build proofs about your code behaviour. It's quite type annotation heavy though iirc, but it's very efficient. [1] : http://www.ats-lang.org http://www.ats-lang.org