SML : 해당 유형에서 함수 해석

Question

SML (메타 언어)을 처음 사용합니다. 누구든지 아래에 주어진 유형에서 함수를 파생시키는 방법을 말해 줄 수 있습니까? ('a ->'b) -> ('b 목록 -> c) ->'a -> 'c 목록

SML의 카레 기능을 이해하는 데 어려움을 겪고 있습니다.

Answer 1

이

- fun f g h x = [h [g x]]; 
> val ('a, 'b, 'c) f = fn : ('a -> 'b) -> ('b list -> 'c) -> 'a -> 'c list 

여기 어떻게 내가 해냈어 작동합니다.

은 우리가

('a -> 'b) -> ('b list -> 'c) -> 'a -> 'c list 

그래서 우리는 세 가지 카레 인수 기능을 원하는지 유형에게 주어진 첫 번째 두 기능은, 아무것도 세 번째입니다. 그래서 우리는 쓰기 :

fun f g h x = .... 

이제 첫 번째 인수는 x는 유형 'a의 뭔가 걸리는 기능입니다 그래서 우리는 오른쪽에

g x 

를 원한다. 형식은 'b입니다. 이제 h는 'b list에 소요, 그래서 우리는이 유형 'c의 값을 생성하지만, 우리는 'c list 그래서 우리는 단지 목록에 그것을 넣어 반환 f을 원하는

h [g x] 

쓸 수 있습니다, 그래서 우리가 얻을 :

fun f g h x = [h [g x]];