명명 된 매개 변수를 생략 할 때 currying을 수행하는 프로그래밍 언어가 있습니까?

Question

많은 함수 프로그래밍 언어가 curried parameters을 지원합니다. currying 함수를 지원하기 위해 함수에 대한 매개 변수는 본질적으로 마지막 매개 변수를 생략 할 수있는 튜플이며 더 작은 튜플을 필요로하는 새 함수를 만듭니다.

저는 함수 매개 변수에 항상 레코드 (예 : named parameters)를 사용하는 언어를 설계하려고합니다. 내 메이크업에

따라서 간단한 수학 함수 언어가 될 생각 :

add { left : num, right : num } = ... 
minus { left : num, right : num } = .. 

당신은 너무 오래 그들이이 두 명명 된 매개 변수를 가지고 이러한 기능에 대한 기록에 전달할 수

는 (그들은 더 그냥 "왼쪽"할 수 있습니다 및 "오른쪽").

가 명명 된 매개 변수의 하나가있는 경우는 새로운 기능을 작성

minus5 :: { left : num } -> num 
minus5 = minus { right : 5 } 

내가 위의에 대한 하스켈의 표기법의 일부를 빌려합니다.

이 작업을 수행하는 언어를 본 사람이 있습니까?

Answer 1

OCaml의 매개 변수를 명명하고 태닝은 (때로는 선택적 매개 변수를 처리 할 때 필요한 주석을 입력하지만) 자동으로하지만, 그들은 tupled되지 않습니다

Objective Caml version 3.11.2 

# let f ~x ~y = x + y;; 
val f : x:int -> y:int -> int = <fun> 
# f ~y:5;; 
- : x:int -> int = <fun> 
# let g = f ~y:5;; 
val g : x:int -> int = <fun> 
# g ~x:3;; 
- : int = 8 

Answer 2

확실히, Mathematica 그런 일을 할 수 있습니다.