higher-kinded data

Хабрахабр

Данные высокого рода

Да-да, вам не привиделось и вы не ослышались — именно высокого рода. Род (kind) — это термин теории категорий, означающий по сути тип типа [данных]. Но вначале немного лирики. На Хабре вышло несколько статей, где подробно описывался метод валидации данных в функциональных языках. Мы рассмотрим валидацию данных в Хаскеле. Эта статься — мои пять копеек в этот хайп. Валидация типом…