나는이 순위 3 종류의 기능 정의가 기능 : f3 :: ((forall a. a -> a) -> Int) -> Bool -> Bool
f3 .... = ?
을하고 나는 그것을 위해 간단한 예를 쓰기 위해 고군분투하고있다. 도울 수 있니? 코멘트에 언급 한 바와 같이, 더 재미있을 유형을 변경
F #에서 무료 모나드의 교회 인코딩을 표현하려고합니다. Free은 특정 기능자인 Effect에 특화되어 있습니다. return_ : 'T -> Free<'T>과 bind: ('T -> Free<'U>) -> Free<'T> -> Free<'U>을 아무런 문제없이 쓸 수 있습니다. 내 구현 스케치는 아래와 같습니다. 이 인코딩을 위해 인터프리터를 작성하려고
올바른 용어를 얻길 바랍니다. data Hide a = ∀ b. (A.ToJSON (a b), A.ToJSON b) ⇒ Hide (a b)
mapHide ∷ (∀ c. (A.ToJSON (b c), A.ToJSON c) ⇒ a c → b c) → Hide a → Hide b
mapHide f (Hide a) = (Hide $ f a)
불행하게도,