The use of strongly typed languages would resolve all those problems.