You are ignoring Ada. In fact most problems with the Go languages are solved in Ada(tasks vs goroutines and channels, generics vs interface {}, synchronized data structures, variants type vs runtime plumbing to create unions...).