Хотелось бы узнать разницу между проверкой типов и системой типов. Я обнаружил, что система типов определяется как метод syntacti c для доказательства отсутствия определенных поведений программы путем классификации фраз в соответствии с типами значений, которые они вычисляют [1] . с другой стороны, проверка типов относится к процессу анализа правильности типизации программы в соответствии с определенной системой типов, определенной для конкретного языка программирования [2] .
Является ли проверка типа синонимом системы типов?