История изменений
Исправление Nervous, (текущая версия) :
В итоге ты вместо нормальной системы типов получаешь сплошные проверки в рантайме.
Так все равно бОльшую часть ограничений придется проверять в рантайме. Возраст — целое число, окей. Это система типов может. А что это число неотрицательное? И больше 18?
Возможно, иногда проще добавить один предикат, где он реально нужен, чем принудительно и повсеместно ублажать систему типов? %)
Исходная версия Nervous, :
В итоге ты вместо нормальной системы типов получаешь сплошные проверки в рантайме.
Так все равно бОльшую часть ограничений придется проверять в рантайме. Возраст — целое число, окей. Это система типов может. А что это число неотрицательное? И больше 18?