I agree. type checking is game changing for AI development.
And you can't duct tape your way into Ruby type checking and hope to beat the likes of C#, Java, Rust, Go. TypeScript.
Rails (and Ruby) made tradeoffs to please humans. Some of those tradeoffs became downsides now with AI.
On the other side I as the one checking the messy code my AI produces still prefer a highly readable code over something more "complicated" I would argue it's easier to catch bullshit even.