Исправление Psilocybe, (текущая версия) :
Система типов — это синтаксический метод доказательства отсутствия в программе определенных видов поведения при помощи классификации выражений языка по типам вычисляемых ими значений.
Класс это частный случай типов.
Исходная версия Psilocybe, :
Система типов — это синтаксический метод доказательства отсутствия в программе определенных видов поведения при помощи классификации выражений языка по типам вычисляемых ими значений.
Класс это часный случай типов.