Maybe I'm wrong, but... This seems to try to mimic Rust safety rails as impractical annotations. Even if these annotations can express non-trivial cases (which

Maybe I'm wrong, but... This seems to try to mimic Rust safety rails as impractical annotations. Even if these annotations can express non-trivial cases (which I doubt), they will constrain you for reasons Rust lifetimes can be constraining, you'll have to do tons of extra work, with crappy bare-bone programming language, inside an ecosystem where no one gives a crap and that can't even agree on a common sane tooling. And then I have no idea from where does it follow that the at thend it will be "Safer than Rust". How is that better idea than just using a most loved programming language along with a maturing large ecosystem that actually has a culture of building safe and reliable software, using approaches that are not bolted on but built-in?