原文地址：http://en.wikibooks.org/wiki/F_Sharp_Programming
1. 声明变量
1.1 值是值，变量是变量
在F#里最常见的关键字就是let，用来声明变量或是函数。 举例如下：
let x = 5 let y = 10 let z = x + y
这样就声明了x,y，然后分别赋值。最后z等于x加y的值。 然后你可以再把它们打印出来
printfn "x: %i" x printfn "y: %i" y printfn "z: %i" z
最后输出的结果是什么，到FSI里试下就知道了。 记得不要忘记，在FSI里要在程序的最后加两个分号，这样才能执行你的程序。
最后再来看下值和变量的区别。
let w = 5
这里先定义w等于5。好了，现在你再把6赋值给w，看看会发生什么！
w = 6 val it : bool = false
这里的=等已经不再是赋值操作了，而是对比。这里其实就是说，w的值是5，现在说，5是不是等于6，显然不等，所以返回了一个布尔值，假（FALSE）.
所以如果你要给w赋值的话，应该如前面说的那样用let。
let w = 100
但其实这样并不是真正的赋值，他只是给w重新绑定过了一个值，而不是找到内存中原来w的值，也就是5，然后把5修改为100。那如果我要真正的改这个值呢，那就得用 <-
w <- 99
但是这样你会得到一个错误
error FS0027: This value is not mutable
F#说这个值是不可变的。原来在F#里，其实应该说要函数式编程语言里，变量其实都是不可变。所以你会得到这个这个错误。那你也许就会问，<- 这个操作岂不是没用的？其实F#是一种多重范式的语言，它是支持真正的变量的。但是它默认你声明的变量是不可变的（immutable）。那我们怎么声明可变的变量，这里就要用到另一个关键字 mutable
let mutable i = 100;; val mutable i : int = 100
这样就定义一个可变变量i，现在你再给i赋值
i <- 999;; val it : unit = () i;; val it : int = 999
为什么函数式语言的变量是不可变的？简单来说，这其实函数式语言的优势，现在来说可能很难理解。以后自然会明白，不过好在F#并不是纯的函数式语言，要不然可能上手的难度会大很多。