Что такое программирование Прежде чем мы перейдем к основам программирования, мы должны сделать небольшое отступление. Что если кто-нибудь спросит вас, как на самом деле работает компьютер? Если вы не ИТ-специалист, вы, вероятно, не сможете много рассказать, даже если вы пользуетесь компьютером или мобильным телефоном каждый день. По своему основному принципу компьютер — это машина, которая может преобразовывать ввод (то есть то, что мы в него вводим) в вывод (то есть то, какой результат мы получаем)...

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