Totally agree. With ai coding, ensuring correctness is critical. Having types and compile-time checks helps a lot.