История изменений
Исправление monk, (текущая версия) :
На самом деле зависит от размера программы. Чем больше программа, тем больше нужны контракты (или типы). Даже там, где их нет (в 1С, например) на функциях пишут в комментариях ожидаемый тип аргументов и тип результата.
И наоборот, десятистрочный скрипт удобнее писать без указания типов.
А Haskell приятен не проверкой типов, а лаконичностью записи и возможностью написания сверхобобщённых алгоритмов.
Исходная версия monk, :
На самом деле зависит от размера программы. Чем больше программа, тем больше нужны контракты (или типы). Даже там, где их нет (в 1С, например) на функциях пишут в комментариях ожидаемый тип аргументов и тип результата.
А Haskell приятен не проверкой типов, а лаконичностью записи и возможностью написания сверхобобщённых алгоритмов.