4ответов 6 Как сделать экземпляр векторов фиксированной длины Applicative? gadt haskell pattern-matching typeclass types
1ответов 13 Как вы формулируете N-арные типы произведений и сумм в этой типизированной Вселенной лямбда-исчисления? algebraic-data-types data-kinds gadt haskell lambda-calculus
2ответов 15 Как поставить ограничения на переменную типа вида «Constraint»? gadt ghc haskell typeclass
2ответов 19 Почему конструкторы GADT/экзистенциальных данных не могут использоваться в ленивых шаблонах? existential-type gadt haskell lazy-evaluation pattern-matching
