May 5, 2024 · programmingHaving a type system is more productiveStrict types increase a system truthiness