From their page:
- Aims to combine the expressivity of Scheme with the convenience of Python, Lua or Javascript and the performance of C.
- Compile-time resource management using view propagation, an annotation-free variation of borrow checking.
- Support for live code execution as well as offline compilation of object files.
- Statically typed but fully inferred type system via forward propagation. Supports closures as zero-cost abstraction.
etc.
I don't know how tough the crowd is nowadays but I was already sold when I read the 1st and 2nd items above.
On the "goals aren't results" front, the second one is also one that I'd want to see how it plays out a bit more before getting too excited; it's also possible that it may not be possible at it currently exists in the author's heads.
Introducing a language should now include "What are the cool new things in this language?" The short list where this shines, e.g., "Go - compiles really fast and no classes". "Rust - deep safety and a novel macro system". "Python - Batteries included and easy to write."
A language also needs to include some design philosophies. Sometimes its simple: "DRY"; sometimes its the tradeoffs ordered in Zen of Python. You need to say something.
So, what's this new language do again?