«functional-dependencies» 태그된 질문

1
완전히 종속적 인 연결 만들기
연결에 대한 좋은 사실은 방정식에서 두 가지 변수를 아는 경우입니다. a ++ b = c 그런 다음 세 번째를 알고 있습니다. 나는 기능적으로 의존성을 사용하기 위해이 아이디어를 내 자신의 concat에서 포착하고 싶습니다. {-# Language DataKinds, GADTs, FlexibleContexts, FlexibleInstances, FunctionalDependencies, KindSignatures, PolyKinds, TypeOperators, UndecidableInstances #-} import Data.Kind (Type) class Concatable (m …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.