История изменений
Исправление Virtuos86, (текущая версия) :
Как говорил один умный лиспер: «На обычных языках программы проектируются как дом, а на лиспе они выращиваются как дерево».
По твоему описанию выходит, что это будет дерево из костылей.
Типы помогают, но в большинстве языков они очень ограничены. Вот в примере «есть функция которая переводит градусы цельсия в градусы фаренгейта. В статических языка будет синтаксически неправильно, если передать ей в качестве параметра строку». Но при этом будет синтаксически правильно, если передать ей отрицательное число. Получается, что в любом случае, либо первой строкой проверка на положительность, либо ручное доказательство, что в качестве параметра в рамках программы передаются только положительные числа.
Так может, надо вместо signed int указать в сигнатуре unsigned int?)
Исходная версия Virtuos86, :
Как говорил один умный лиспер: «На обычных языках программы проектируются как дом, а на лиспе они выращиваются как дерево».
По твоему описанию выходит, что это будет дерево из костылей.