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

Семантика даёт фундаментальное представление о структуре семантической модели. т.е. так, как некоторое знание должно выглядеть в своём идеале. Рассмотрим предмет биологии. Начнём с того – какой семантический вектор является главным в биологии? Опытный исследователь сразу начнёт копать в сторону терминологии, он скажет – что такое биология? Это наука о живых организмах! Что такое живое? – дайте определение. Здесь уже можно использовать семантическую алгебру. «Живое – неживое» — это отношение Качества, которое характеризуется рядом признаков. Такие признаки относятся друг ко другу отношением Дополнения...