하스켈, 간단한 연속

Question

나는이 나는 역순

에서 함수 인수를 변경하려면, 이제 CPS 스타일의 스퀘어 기능

-- from : http://en.wikibooks.org/wiki/Haskell/Continuation_passing_style 
square :: Int -> Int 
square x = x * x 

square_cps :: Int -> ((Int -> r) -> r) 
square_cps = \cont -> cont (square x) 
-- square_cps 3 print will write '9' out in console 

입니다 간단한 CPS 기능

을 변환하는 힘든 시간을 보내고 있어요

square_cps' :: ((Int -> r) -> r) -> Int 
square_cps' = ? 

불가능합니까? square_cps의 당신의 정의에 약간의 보정

Answer 1

첫째 :

square_cps :: Int -> ((Int -> r) -> r) 
square_cps x = \cont -> cont (square x) 
      ^^^ 

은 또한 당신은 쓸 수 있습니다 :

square_cps x cont = cont (square x) 

참고이 유형 서명 만의 함수와 같은 square_cps 보이게하더라도 작동 하나의 논증.

이제 square_cps'의 유형 서명을 사용할 수 없습니다. 그들은 쓰여진대로 r을 반환하는 함수 인 (Int -> r) -> r 중에서 Int을 얻을 수 있음을 의미합니다.

먼저, square_cps에 인수를 플립이 동일한 종류의 서명을 작성하려면 :

square_cps :: Int -> (Int -> r) -> r 
      ^ ^   ^--- result 
       |  \--- second arg 
       \--- first arg 

을 그림과 같이 인수를 식별합니다. 이어서 서명이 상기 제 1 및 제 2 인수 결과 스와핑

square_cps' :: (Int -> r) -> Int -> r 
square_cps' cont x = square_cps x cont 

을 일반적으로 서명 a -> b -> c 즉 오른쪽 함수 타입 생성자 동료 a -> (b -> c) 동일하다.