sml - SMLのカレー無名関数

Question

私は以下の機能を持っています、そしてそれは働きます：

(fn x => x * 2) 2; 

しかし、これは機能しません：

(fn x y => x + y ) 2 3;

誰か教えてもらえますか？または、それを機能させるためのヒントを教えてください。

Answer 1

(fn x => fn y => x+y) 2 3;動作します。fn単に、持っているカレー関数を定義するための同じ構文糖衣を持っていませんfun。

Answer 2

標準 ML では、関数は引数を 1 つしか持てないため、

(fn (x,y) => x + y) (2,3) 

タイプは

fn: int * int -> int

このとき (x,y) と (2,3) はリスト構造であり、