Category: юмор

Category was added automatically. Read all entries about "юмор".

trueblacker

тоже о вечном

Что-то в лентачке в последнее время сильно оживились срачеги за "статическая типизация vs динамическая".
Имею сказать, но не столько практическое, сколько философское.
Кредо статической типизации, как её понимаю я - "всё, что можно сделать в compile-time, не должно делаться в run-time". "Можно" здесь означает не возможности, предоставляемые языком, а то, что подсказывает построенная модель предметной области.
Соответственно, статическая типизация - это орднунг как фетиш одной из школ технофашизма. Типизация же динамическая - фетиш более другой, на который любят фапать сторонники идей ИИ, самообучающихся систем и самопишушихся программ. Всякая сущность, которая прилетела в рантайме может быть обработана без предъявления паспорта, как в анекдоте про Ржевского ("если рот есть, то отчего ж не сосать?").
Посему на срачеги смотрю с недоумением. Нормальное сосуществование идей и подходов, которые, впрочем, надо правильно применять и избегать синдрома "когда в руках молоток, любая проблема кажется гвоздём".