Возможно, прочитав название, вы подумали, что опять какой-то пенсионер-разработчик (Senior Developer) будет философствовать на тему того, как быстро летит время, и что надо постоянно развиваться, чтобы оставаться на плаву, а чтобы двигаться вперёд, надо развиваться ещё больше. Всё это, безусловно, правда, но всё-таки хочется рассказать о практических проблемах в программировании, с которыми сталкиваются начинающие разработчики. Особенностям работы с датой и временем уделяют совсем мало внимания,...

Почему среди программистов на Haskell бытует легенда, что если программа компилируется, то она верна? Почему мало смысла в споре между приверженцами статической и динамической типизации? Как превратить тип функции в теорему, а программу — в еë доказательство? Об этом и многом другом мы поговорим в мини-серии статей, посвящённой теории типов. Зачем? Когда речь заходит о типах и типизации в программировании, то в ход идут самые разные аналогии. Кто во что горазд! Типы сравнивают с наклейками на...