|
|
|
|
|
|
by sumofzeros
2815 days ago
|
|
|
> 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 |
|
|