Scala
Scala is a modern multi-paradigm programming language designed to express common programming patterns in a concise, elegant, and type-safe way. It smoothly integrates features of object-oriented and functional languages.
Very cool, including JRE and .NET runtime integration.
Just what the world needs… but doesn’t want: a carefully designed statically typed programming language.
Do you really think the dynamic vs. static typing issue is crucial for a language’s success? I’m not questioning whether one or the other is better, just whether adoption of a language is not driven by other factors.