"A very preliminary work in progress" programming language from Mozilla's Graydon Hoare (with help from Brendan Eich, Andreas Gal, Dave Herman, and more).
Looks like a very attractive multi-paradigm design. Lots of safety features (memory safe, no null pointers, objects are immutable by default, actors/tasks have no shared mutable state), structural typing, tagged disjoint unions, type inference, impressive static analysis features, native compilation (direct x86 codegen in Ocaml, and prototype LLVM backend), low-overhead C function calls and easy integration with gdb, valgrind, etc.