Rust

Remember my rant on trying to find a better language for programming enterprise applications ? Well, Rust might be a valid candidate. Here are some of its features as found in the FAQ:

• Memory safe. No null pointers, wild pointers, etc. Automatic storage management.
• Mutability control. Immutable by default. No shared mutable state across tasks.
• Typestate system: ability to define complex invariants that hold over data structures.
• Very lightweight tasks (coroutines). Cheap to spawn thousands-to-millions.
• Multi-paradigm. pure-functional, concurrent-actor, imperative-procedural, OO.
• First class functions with bindings.
• Structurally-typed objects (no nominal types or type hierarchy).
• Multi-platform. Developed on Windows, Linux, OSX.
• Practical rule-breaking: can break safety rules, if explicit about where and how.

Actors, first class functions, cheap coroutines: Rust definitely is a contender. I'll have to keep an eye on this one.