摘要:
类型检查可发生在编译时期(静态检查)或运行时期(动态检查)。静态类型检查是在编译器进行语义分析中进行的。如果一个语言强制实行类型规则(即通常只允许以不丢失信息为前提的自动类型转换)就称此语言为强类型,反之称为弱类型。F#使用的是静态类型检查。这意味着,如果你传入一个string 值给 类型为int的变量,那么你将得到一个编译错误。下面是F# 中一些数据类型:你可以通过let关键字来定义值,事实上let 能做的事情很多。常数定义一个int型变量:> let iInt = 1;;val iInt : int = 1(注意:文中的代码均在F# interactive 窗口中运行得到,在;; 之 阅读全文