upvote
> 1. Go with a better type system. A compiled language, that has sum types, no-nil, and generics.

I was looking for something like that and eventually found Crystal (https://crystal-lang.org) as a closest match: LLVM compiled, strong static typing with explicit nulls and very good type inference, stackfull coroutines, channels etc.

reply
Crystal is a typed Ruby. The closer to Go language would probably be Odin.
reply
Odin is more of an alternative C than Go. V is inspired by Go has like nearly the same syntax as Go and alot of Goodies. Like Error Types, Sum Types and more.
reply
Crystal’s syntax is similar to Ruby’s, but AFAIK the similarity more-or-less ends there.
reply
Yeah, (non sarcastically) give those things dumb names like borrow checker and you'll get people swooning over it.
reply