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 matchin

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