It's been around since <2003, so it's hardly new. It's primary purpose was a high performance scripting language for game engines. That being said I agree with

It's been around since <2003, so it's hardly new. It's primary purpose was a high performance scripting language for game engines. That being said I agree with you wrt new semantics and I would love to see a practical programming language that has dependent types.