[thayne]

It looks like it addresses some of go, including:

- a better type system, that includes union types, and makes types non-nullable by default

- pattern matching

- designed with generics from the beginning

- try/catch error handling. This is controversial, and some people like checking every return value for errors, but it is a common complaint about go

- it looks like it is meant to have better c interop than go

[ksec]

Feels to me like it is Go++. Or may be Go+ / BetterGo.

And in a very good sense.