ocaml 的函数参数的问题

goingstudy

在ocaml中定义

1. let emit x acc = x :: acc;;

复制代码

，它的类型为

1. val emit : 'a -> 'a list -> 'a list = <fun>

复制代码

正常的调用方式是:

1. # emit 1 [2;3];;
   
2. - : int list = [1; 2; 3]
   

复制代码

因为所有的函数都是只有一个参数，多个参数的函数可以看成是一个函数以一个函数为参数，
所以，当我这样调用时

1. # emit 1;;
   
2. - : int list -> int list = <fun>
   

复制代码

这个我能理解，相当于emit的类型，这样理解

1. 'a -> ('a list -> 'a list)

复制代码

但是当我这样调用时，

1. # emit [2];;
   
2. - : int list list -> int list list = <fun>
   

复制代码

实在是不能理解了，请高手给解释下这个类型是什么意思

goingstudy

人都去哪里了，怎么这么冷清啊

OwnWaterloo

这个板块确实很冷清。。。  而且还是划在C/C++的子板块里。。。

Monox

回复 1# goingstudy
你自己前面写了那么一大段，写得很清楚了，而且你的理解也没什么问题，真搞不明白为什么到最后一个类比的问题你就搞不明白了。你自己写的val emit : 'a -> 'a list -> 'a list = <fun>，也就是说emit的第一个参数是任意类型'a，那么你emit [2];;这样调用的时候这个'a当然是[2]的类型，而[2]的类型当然是int list，所以'a list也就变成了int list list，那么emit [2];;自然就是- : int list list -> int list list = <fun>，对于你不能理解这本身我就不能理解你为什么不理解。

   

goingstudy

回复 4# Monox
谢谢指点，明白了，刚开始学函数式编程，感觉思维还是有点局限于c/c++的思维里