AK
В CL он кучу варнингов накидает. И сразу понятно становится.
Size: a a a
2020 May 08
AC
Вопрос в этом ключе не про статическую типизацию, а про статическую компиляцию. То есть ошибки у тебя на этапе компиляции возникают. Статическая типизация - ну хз, такую не знаю. Знаю только компиляцию, которая типизацию в компайл-тайм проверяет.
Компайл тайм далеко не все проверяет и зачастую совсем не то что нужно
AK
Компайл тайм далеко не все проверяет и зачастую совсем не то что нужно
Ну не всё, да. Но много чего.
AC
Я вот реально из опыта рассказываю. Программирую на CL (на самом деле там хоть и опциональная, но статическая компиляция) и на Scheme. Это то, что я веду в текущий момент. На схеме, бывает, опечатаешься в названии функции. Где-то тесты ловят. Где-то нет.
опечатки в названии функции или в количестве аргументов - это не про типизацию
AK
опечатки в названии функции или в количестве аргументов - это не про типизацию
Это про компиляцию. Я выше ремарку делал.
AK
А типизация - это инструмент для этой компиляции.
AC
Ну не всё, да. Но много чего.
Ловит ошибки в рукописных типах - нет типов нет ошибок 🙂
AC
Это про компиляцию. Я выше ремарку делал.
ну почему - это и интерпретатор может проверять
AC
Он полюбому парсит твой код и делает какие - то проверки
AK
ну почему - это и интерпретатор может проверять
Ну если мы говорим про строгую типизацию, то да. Но смысл в статической компиляции, что ты это проверяешь сильно раньше.
AC
Например что у тебя в коде нет необъявленных переменных
AK
Он полюбому парсит твой код и делает какие - то проверки
Он не парсит код. Он внутри метода проверяет на соответствие контракту при вызове. Нет вызова - нет проблем.
AC
Да можно и без типизации много чего проверить
AC
Он не парсит код. Он внутри метода проверяет на соответствие контракту при вызове. Нет вызова - нет проблем.
ну как нет проблем. есть например необъявленные переменные, несовпадение числа аргументов функции, в конце концов невалидный синтаксис
AC
И без явного объявления типов можно много чего проверить
AK
ну как нет проблем. есть например необъявленные переменные, несовпадение числа аргументов функции, в конце концов невалидный синтаксис
Ну если вызова метода нет, то и проблем тоже.
AK
Ну интерпретатор так работает.
AC
ну как нет когда они есть
AC
не любой
AC
в кложе он например делает проверки