Поведение функции с анонимной функции в ее

Question

Будучи новым для SML, используя SML NJ I признал это поведение функции:

- fun test g= fn x=>x; 
val test : 'a -> 'b -> 'b = _fn 
- test 1 2; 
val it : int = 2 
- test 1; 
val it : '1 -> '1 = _fn 

это так, что интерпретатор использует unit в качестве типа данных для входного параметра г , если для вызова функции нет значения? Если да, то почему это происходит с g, а не с входным параметром для анонимной функции?

Answer 1

Согласно @molbdnilo test 1; свяжет только значение функционального теста (fn x=>x) с номером it. Таким образом, 1 при первом вызове присваивается g. Вызов it с некоторым параметром выполнит часть fn x=>x.