It looks like a modern statically typed multi-paradigm language with OO, exceptions, higher order functions, pattern matching, annotations, concurrency primitives etc. sitting on top of LLVM and something called CVJM. I guess it is in family with modern C# and perhaps Swift - has kinda a similar syntax to Swift.
There are also some instructions for running it on Ubuntu in the pdf.
This programming language reminds me of a lot of meta-language (ML) styles: function overloading based on pattern matching, immutable variables, and using `spawn` keyword for lightweight threads – a practice also employed by Erlang. Perhaps owing to Huawei's origins as a telecommunications equipment company, where many within the organization are familiar with Erlang, this new language exhibits numerous resemblances to Erlang.
There are also some instructions for running it on Ubuntu in the pdf.