F#入门-第二章 F#基础-第十六节 函数的类型

    函数也有类型。
    让我们来看看简单函数的例子。

加1函数的定义

> let inc x = x + 1;;
val inc : int -> int

    inc函数接收整数作为参数，然后将该整数加1后返回。
    其中int->int部分为该函数的类型。
    函数类型如下所示。

 函数的类型

参数1的类型 -> 参数2的类型 -> ... -> 结果的类型

    在inc函数中，因为参数1是int型，所以结果也是int型。

执行加法运算的函数

> let add2 x y = x + y;;

val add2 : int -> int -> int

> let add3 x (y:float) z = Float.of_int x + y + Float.of_int z;;

val add3 : int -> float -> int -> float

    上例中分别是关于两个参数相加的函数add2和三个参数相加的函数add3的定义。
    add2函数中，参数1，参数2都是int型，所以结果是int型。
    add3函数中，参数1与参数3是int型，参数2和结果都是float型。