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