[throwaway4good]

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.

[link89]

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.