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.