Category: технологии

Category was added automatically. Read all entries about "технологии".

trueblacker

тоже о вечном

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

More MIT! More MIT! More MIT, you king Henry, you give to me!

Отсмотрел тут курс видеолекций Массачусетского Технологического Института 18.01 Single Variable Calculus. В полном восторге и алчу продолжения (доказательство предела (sinx)/x = 1 меня не отпускает уже больше недели). Засада блин в том, что все остальные курсы в разрешении 320x240 и в моём измученном HDTVшным Хаусом мозге вызывают такую неприязнь, что кушать не могу.
Плачу, колюсь, но есть продолжаю. Multivariable calculus он зе вэй.

Американцы! Чем снимать кучу отмороженных сериалов (не будем показывать пальцем) сняли бы лучше нормально лекции, в самом деле.
  • Current Music
    Ludwig van Beethoven - [piano sonata №12 As-dur CD4 #01] Andante con variazioni // 2005 Ronald Braut