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

Ассемблер как единственный нетипизированный язык Исторически сложилось так, что первые компьютеры использовали исключительно для математических расчетов в военном сегменте экономики. Как следствие, пользование компьютеров обычными гражданами не предполагалось. Однако, в ходе исторического развития компьютеры начали появляться в институтах, что породило спрос на многопользовательское исполнение программ и языки программирования, более приспособленные для командной работы Однако, архитектура вычислительных систем была спроектирована единожды и почти не обновлялась...