История изменений
Исправление unC0Rr, (текущая версия) :
Сложные типы вроде «корректный IP» ваша система типов в принципе не способно описать.
Я так и не понял, откуда взялось это утверждение. К примеру, я сейчас использую математическую библиотеку, и у неё есть не менее сложный тип Unit<Vector3>, для которого есть гарантия нормальности. Что с этим типом не так?
Исходная версия unC0Rr, :
Сложные типы вроде «корректный IP» ваша система типов в принципе не способно описать.
Я так и не понял, откуда взялось это утверждение. К примеру, я сейчас использую математическую библиотеку, и у неё есть не менее сложный тип Unit, для которого есть гарантия нормальности. Что с этим типом не так?