You already have iota. Type safety is not needed by design:
reply> Go intentionally has a weak type system... Go in general encourages programming by writing code rather than programming by writing types...
https://github.com/golang/go/issues/29649#issuecomment-45482...
Theres a whole universe between proper enums and go becoming Ada. Same with null safety.
replyAda is the lost knowledge of a past, more advanced civilization.
replyThankfully not everyone has forgotten.
replyhttps://www.adacore.com/case-studies/nvidia-adoption-of-spar...