如何在函数中使用map

Question

地图中的功能非常简单。我希望将列表中的每个元素加倍：

map(fn x => x * 2);

但是，如果我想将此函数命名为double，该怎么办？

fun double = map(fn x => x * 2);

调用此函数我得到了

- double [1,2,3];
val it = fn : int list -> int list

如何将此功能命名为double？

Answer 1

map (fn x => x * 2)的结果是一个函数，可以绑定到标识符：

- val double = map (fn x => x * 2);
val double = fn : int list -> int list

- double [1,2,3];
val it = [2,4,6] : int list

fun形式只是语法糖。例如：

fun name param = ...

将被解雇：

val rec name = fn param => ...

rec部分是一个关键字，可以让您实现递归函数定义。