F#基础教程 控制流

     F#有强大的控制流。这种方式不同于其他的函数式语言，控制流的概念非常稀少，因为本质上表达式可以代替任何命令。你可以在下面的例子中看到控制流 if … then … else … 表达式.

     在F#里 if … then … else … 构造成一个表达式，这意味着它返回一个值。返回值取决于布尔表达式的真与假。下一个例子说明了这一点。

#light
let result =
     if System.DateTime.Now.Second % 2 = 0 then
　　　　"heads"
　　else
　　　　"tails"
print_string result

     if … then … else … 表达式有特别的要求，你可能比较熟悉命令式编程，但F#的类型系统要求if … then … else … 表达式的返回值必须是同一类型，否则编译器将产生错误。因此，在上面的例子中，如果你替换字符串为一个整数或布尔值，你会得到一个编译错误。如果你真的需要一个不同类型的值，你可以创建一个类型为 if … then … else … obj 类型表达式(F#版本的 System.Object)；下一个例子说明如何实现这一点。

#light
let result =
　　if System.DateTime.Now.Second % 2 = 0 then
　　　　box "heads"
　　else
　　　　box false
print_any result

     这会使程序员感到惊讶，一个if … then … else … 表达式必须有一个else返回一个值。但是你想想，这是非常合乎逻辑的，如果将else语句删除，当条件为false时，标识符将不能被分配一个值，无法完成初始化。这在函数式编程里要尽量避免。一个if … then表达式没有else在命令式编程里很常见，所以我们将在第四章讨论这种特殊情况的解决方案。

转载于:https://www.cnblogs.com/IBBC/archive/2011/11/24/2261416.html