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.