如何在函数中使用地图

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

如何将此函数命名为双精度？

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 部分是一个关键字，可让您实现递归函数定义。