История изменений
Исправление SZT, (текущая версия) :
В языках с динамической типизацией нет разницы, будет ли решение как бы фичей языка, или обычной функцией. Всё равно типы проверяются только в рантайме.
1. В динамически типизированном лиспе можно явно указывать типы.
2. SBCL умеет на основе этого выдавать ошибку еще на этапе компиляции: http://www.sbcl.org/manual/#Getting-Existing-Programs-to-Run
The most common problem is with variables whose constant initial value doesn't match the type declaration. Incorrect constant initial values will always be flagged by a compile-time type error, and they are simple to fix once located.
3. Даже если взять некий динамически типизированный язык, где типы никак указывать в явном виде нельзя, в компилятор все равно можно встроить какие-нибудь проверки по типу статического анализатора чтоб проверялось, не пытаемся ли мы где-то строку на строку умножать
Исходная версия SZT, :
В языках с динамической типизацией нет разницы, будет ли решение как бы фичей языка, или обычной функцией. Всё равно типы проверяются только в рантайме.
1. В динамически типизированном лиспе можно явно указывать типы. 2. SBCL умеет на основе этого выдавать ошибку еще на этапе компиляции: http://www.sbcl.org/manual/#Getting-Existing-Programs-to-Run
The most common problem is with variables whose constant initial value doesn't match the type declaration. Incorrect constant initial values will always be flagged by a compile-time type error, and they are simple to fix once located.
3. Даже если взять некий динамически типизированный язык, где типы никак указывать в явном виде нельзя, в компилятор все равно можно встроить какие-нибудь проверки по типу статического анализатора чтоб проверялось, не пытаемся ли мы где-то строку на строку умножать