Comment by throw2311

All useful type systems are turning complete. The only people who don't realise are those that want to rewrite everything in rust.