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

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