При решении задач выполняется обработка информации различного характера. Это могут быть целые и дробные величины, строки и др. Для описания множества допустимых значений величины и совокупности операций, в которых может участвовать данная величина, используется указание ее типа данных. Каждый тип данных имеет: 1. специальное зарезервированное слово для описания; 2. диапазон допустимых значений; 3. размер памяти, отводимой для хранения величины; 4. набор допустимых операций. Все типы данных можно разделить на две группы: скалярные и структурированные (составные)...

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