Как система Kind в Haskell помогла добавить типизированную конфигурацию в клон Redis
Types of types: Haskell's Kind system
Автор делится опытом работы над типизированной конфигурацией для своего клона Redis на Haskell и объясняет, как система Kind решает проблему дублирования типов. В статье разбираются значения, типы и Kind, а также высшие Kind (HKT) и паттерн Higher-Kinded Data, который позволяет одному типу данных обслуживать разные контексты — от полной конфигурации по умолчанию до частично заполненных форм.
Kind относятся к типам так же, как типы относятся к значениям.