Static typing is a necessity for quality software