Вот в старые времена вообще таких споров не возникало. Типы - не типы, это все было в голове и на бумаге, в процессе проектирования. Но когда уже при помощи компьютера стали не просто механически кодировать, но и проектировать программы -- возникли все эти разногласия.