Yeah, but that doesn't exist. Types and fast development are directly opposing goals. This goes all the way back to Lisp vs C in the 1980s with C programs havi

Yeah, but that doesn't exist. Types and fast development are directly opposing goals. This goes all the way back to Lisp vs C in the 1980s with C programs having triple the development time as Lisp programs. To modern day with Turborepo taking 3 months to write in structually typed Go vs 14 months in statically typed Rust.