Some notes on Rust

[Vlad Levenfeld via Digitalmars-d]

On Friday, 6 February 2015 at 05:05:08 UTC, Ola Fosheim Grøstad 
wrote:
> OT: Have you looked at Ada SPARK 2014 yet? Provides nice and 
> strong system programming language semantics. With a 
> verification tool... nice.
>
> http://docs.adacore.com/spark2014-docs/html/ug/spark_2014.html

Even more OT: Most of this doc went over my head. Controlled 
types, access types? I only grok that its meant for 
safety-critical systems. What's this kind of programming called? 
And can you recommend any resources for learning about the 
subject from square one?