Re:Rust RAII is better than the Haskell bracket pattern
by sumofzeros on Tuesday October 09, 2018 @08:54AM
(#18175488)
> 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.
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