タグ付けされた質問 「functional-dependencies」

連結に関する素晴らしい真の事実は、方程式の2つの変数がわかっている場合です。 a ++ b = c 次に、3番目を知っています。 このアイデアを自分の連結に取り込んで、機能的な依存関係を使用したいと思います。 {-# Language DataKinds, GADTs, FlexibleContexts, FlexibleInstances, FunctionalDependencies, KindSignatures, PolyKinds, TypeOperators, UndecidableInstances #-} import Data.Kind (Type) class Concatable (m :: k -> Type) (as :: k) (bs :: k) (cs :: k) | as bs -> cs , as cs -> bs , …

10 haskell  typeclass  functional-dependencies  type-level-computation