The sweet spot is something like StandardML. You get an actually sound type system (with genetics that aren’t a hack), but skip the complexities of direct point

The sweet spot is something like StandardML. You get an actually sound type system (with genetics that aren’t a hack), but skip the complexities of direct pointer manipulation. It can do this while also being easier to learn than go too (designed so students could learn it and implement it too). The only reason go is popular is because google put thousands of man years and countless millions of dollars into it.