1
완전히 종속적 인 연결 만들기
연결에 대한 좋은 사실은 방정식에서 두 가지 변수를 아는 경우입니다. a ++ b = c 그런 다음 세 번째를 알고 있습니다. 나는 기능적으로 의존성을 사용하기 위해이 아이디어를 내 자신의 concat에서 포착하고 싶습니다. {-# Language DataKinds, GADTs, FlexibleContexts, FlexibleInstances, FunctionalDependencies, KindSignatures, PolyKinds, TypeOperators, UndecidableInstances #-} import Data.Kind (Type) class Concatable (m …