invariants

Rust is systems programming languages being developed by Mozilla.

It's very preliminary work, but the list of features suggests an interesting intersection of features.

I'm particularly excited by the control over memory layout that Rust gives to the programmer, but it also has massive concurrency, structural typing, and the “ability to define complex invariants that hold over data structures” in its bag of tricks.

Surprised to see there hasn't been a mention of Microsoft's recent PDC. They have some interesting talks available on the web.

Worlds: Controlling the Scope of Side Effects by Alessandro Warth and Alan Kay, 2008.