SML/NJ에서 이진 연산자의 Curried 형식을 가져 오는 방법이 있습니까?

Question

예를 들어

대신

- op =; 
val it = fn : ''a * ''a -> bool 

의 차라리 분명히

val x = getX() 
val l = getList() 
val l' = if List.exists ((op =) x) l then l else x::l 

내가 예를 들어, 내 자신의에서이 작업을 수행 할 수 있습니다에서 사용하기에

- op =; 
val it = fn : ''a -> ''a -> bool 

있을 것입니다,

val l' = if List.exists (fn y => x = y) l then l else x::l 

하지만 나는 더 우아한 방법을 놓치지 않고 있는지 확인하고 싶습니다.

Answer 1

당신은 함수 커링 도우미 함수 작성할 수

fun curry f x y = f (x, y) 

는 그런 다음

val curried_equals = curry (op =) 
val l' = if List.exists (curried_equals x) l then l else x::l 

Answer 2

SML에 대한 지식이 부족하지만 Ullman 서적을 살펴본 결과 터플을 카레 기능에 적용하는 쉬운 방법을 찾지 못했습니다. 그들은 서로 다른 두 가지 서명이 있고 서로 직접적으로 호환되지 않습니다.

나는 너 자신을 굴려야 할 것 같아.

하스켈로 전환하십시오.

편집 : 나는 그것에 대해 생각해 보았고, 이제는 왜 다른 하나와 같지 않은지를 알고 있습니다. SML에서는 하나의 매개 변수 만 실제로 사용하는 거의 모든 기능을 제공합니다. 대부분의 경우 실제로 하나 이상의 요소가 포함 된 튜플을 실제로 전달하는 경우가 발생합니다. 여전히 튜플은 단일 값이며 함수에 의해 처리됩니다. 이 함수는 부분 튜플을 전달할 수 없습니다. 그것은 전체 튜플이거나 아무것도 아닙니다.

둘 이상의 매개 변수를 허용하는 함수는 정의에 따라 카레트입니다. 여러 매개 변수를 허용하는 함수를 정의 할 때 (여러 요소가있는 단일 튜플이 아닌)이를 부분적으로 적용하고 리턴 값을 다른 함수의 인수로 사용할 수 있습니다.