F#入门-第二章 F#基础-第二十一节 类型推理

    在c或Java等编程语言中，使用变量时，必须明确声明该变量的类型。但是，在F#的let语句中，可以不用明确声明变量类型。这是因为F#的编译器可以自动推算出变量类型，所以代码中不必明确指定变量类型。这一特性叫做“类型推理”。

c语言中的变量定义

int a = 10;

 

F#语言中的变量的绑定

let a = 10;;

    另外，也可以明确指定变量的类型。

明确指定变量的类型

let (a:int) = 10;;

    如果，绑定的值与右边指定的类型不符合时，编译器会提示编译错误。

编译错误

let (a:float) = 10;; error: FS0001: This expression has type         int but is here used with type         float