Информатика. Основы теории типов данных. Функции высшего порядка: Map, Filter, Reduce

При программировании мы часто пользуемся типами данных, но мы не понимаем, по какому принципу они строятся. Конечно же, в большинстве языков программирования это реализуется через компьютерные примитивы (примитивные типы данных). Но как описать это? В языках программирования Haskell (а также JavaScript, но я его НЕ знаю) существует крайне мощный способ определять любые типы данных. Разберемся в том, как можно выстроить структуру типов данных, и как в общем случае можно превратить компилятор в помощника проверки целостности типов.