函数也有类型。
让我们来看看简单函数的例子。
加1函数的定义
> let inc x = x + 1;; |
inc函数接收整数作为参数,然后将该整数加1后返回。
其中int->int部分为该函数的类型。
函数类型如下所示。
-
函数的类型
-
参数1的类型 -> 参数2的类型 -> ... -> 结果的类型
在inc函数中,因为参数1是int型,所以结果也是int型。
执行加法运算的函数
> let add2 x y = x + y;; |
上例中分别是关于两个参数相加的函数add2和三个参数相加的函数add3的定义。
add2函数中,参数1,参数2都是int型,所以结果是int型。
add3函数中,参数1与参数3是int行,参数2和结果都是float型。