jes*_*man 2 polymorphism ocaml types list
写任何类型为的Ocaml函数
('a -> 'b) list -> 'a -> 'b list
('a -> 'b) list是让我最困惑的部分.我是OCaml的新手,很难理解如何编写函数来获取特定的数据类型类型.
# let int x = x+1;;
# let fcn = [int; int];;
我可以使用这两件事来帮助我,但我仍然对如何将思想转化为代码感到困惑.所以我传递一个函数和一个变量.我将把该变量添加到列表的每个元素并返回列表？
小智 6
('a -> 'b)表示从类型'a到类型的函数'b.基本上你需要创建一个函数,它接受一个函数列表,它接受'a并返回'b一个特定的'a值,并返回一个'b值列表(可能通过将函数列表的每个函数应用于特定'a值).