标识符是指在F#里值的名称,可以在程序的后面引用的标识符定义的值。定义一个标识符,使用关键字let指定名称,等号符号,和一个表达式。表达式是任何一块代码,返回一个值的计算。
示例:let pi = 3.14
从命令式编程背景的大多数人来看,这会是一个变量赋值。有很多相似之处,但也有关键的不同。在纯函数编程中,一旦标识符被赋值,它的值就永远不变。
标识符可以指一个值或者函数,因为函数也代表值。这意味着F#没有真正概念的函数名和参数名,他们都是标识符。你可以写一个函数的定义,在let后两个或两个以上的标识符,等号符号,和一个表达式,如:let raisePowerTwo x = x ** 2.0 。第一个标识符是函数的名称,raisePowerTwo ,后面的标识符是函数的参数,x。
从另一个角度看,let pi = 3.14也可以看成是没有参数的函数pi。这两者用代数规范描述可以写成:
sorts: s
funs: f: ->s //如 let pi = 3.14
f:s s -> s //如 let sum a b = a+b