1
Створення повністю залежної конкатенації
Приємний справжній факт конкатенації полягає в тому, що якщо я знаю будь-які дві змінні рівняння: a ++ b = c Тоді я знаю третє. Я хотів би зафіксувати цю ідею у власному стислі, тому я використовую функціональну залежність. {-# Language DataKinds, GADTs, FlexibleContexts, FlexibleInstances, FunctionalDependencies, KindSignatures, PolyKinds, TypeOperators, UndecidableInstances #-} …