浅谈Visual Studio 2010下F#代码智能纠错

之前51CTO开发频道报道过《Visual Studio 2010中F#十三项新特性详解》，希望通过本文大家能更深入的了解F#。

先建立一个F#的项目，在编辑区鼠标右键选择打开F# Interact

首先我们看到上面的提示#help，我们可以直接在 F# Interactive中输入

就出现了如下图：

前3个很明显是控制DLL文件和FS文件的动态加载，time是一个很有趣的东西，开启之后在语句快运行时都会有相关的性能指数

Real: 00:00:00.003, CPU: 00:00:00.000, GC gen0: 0, gen1: 0, gen2: 0

的显示，很方便我们对程序的性能作出判断。

好了，前面的简单介绍过后，我们开始正式编写代码了：

 > let int = 1  



 let double = 1.0  




 let float = 1.0f  



 ;;  



val int : int = 1  




val double : float = 1.0  




val float : float32 = 1.0f 

1-4行是输入，6-8行是结果。我们发现作为C#关键字的int、double、float在F#中不再是关键字了。而通过结果我们可以看到，F#实际上也是一门强类型的语言，上面声明的3个标识符都有明确的类型。这种类型推导技术大家应该并不陌生，C#3.0的关键字var也正是使用了这种技术。

了解了类型推导之后，我们接着来看F#的列表推导：

 > let list = [1..10]   



let list0 = ['A' .. 'Z']   



let list1 = [0..3..30]   


let list2 = [9..-1..0]   



let list3 = [for x in 1 .. 10 -> x * x];;    




val list : int list = [1; 2; 3; 4; 5; 6; 7; 8; 9; 10]  




val list0 : char list =   ['A'; 'B'; 'C'; 'D'; 'E'; 'F'; 'G'; 'H'; 'I'; 'J'; 'K'; 'L'; 'M'; 'N'; 'O';  




 'P'; 'Q'; 'R'; 'S'; 'T'; 'U'; 'V'; 'W'; 'X'; 'Y'; 'Z']  




val list1 : int list = [0; 3; 6; 9; 12; 15; 18; 21; 24; 27; 30]  




val list2 : int list = [9; 8; 7; 6; 5; 4; 3; 2; 1; 0]  




val list3 : int list = [1; 4; 9; 16; 25; 36; 49; 64; 81; 100] 

如果你需要对集合元素筛选，突然发现

let evens = [for x in 1 .. 10 when x % 2 = 0 -> x];; 

提示语法错误，这是因为在VS2010中F#对语法方便做了修订，现在需要实现这样的功能要采用下面的写法

let evens = [for x in 0..10 do if x % 2 = 0 then yield x];; 

可以参考这里

（今天写了3个小时才写了这么点，看来写Blog也是体力活呢。通过上面可以看到F#给我们的编程带来了便捷的方式，我要再接再厉继续写下去。）

原文标题：F#学习（二）