back
1 comments
You already have iota. Type safety is not needed by design:

> 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.
Ada is the lost knowledge of a past, more advanced civilization.
Thankfully not everyone has forgotten.

https://www.adacore.com/case-studies/nvidia-adoption-of-spar...