今天发现一个很有趣的小细节，就是for loop在vb.net和c#是不完全等价的。
参考以下代码
— c#
int c = 0, x = 0;
for (int i = 0; i < 50 – x; i++)
{
x++;
c++;
}
— vb.net
Dim count As Integer = 0
Dim x As Integer = 0For i As Integer = 0 To 50 – x
x += 1
count += 1
Next
在c#中只是循环了25次，vb.net则循环了51次。
大家能体会到个中的区别吗？
Winform里面的ComboBox确实有很多tricky的地方。其中一个普遍认为的bug，M$在其support网站上给出解决方案。
BUG: ComboBox does not clear when you set SelectedIndex to -1
里面说的问题是，在databound模式下的ComboBox，如果当前选项不是第一项，要想清除它，使ComboBox什么都不选的话，需要把SelectedIndex设置成-1两次。这个是.net 1.0开始就有的bug，我在VS2005下能够重现，不过今天在VS2008 + .net 2.0下，好像问题消失了。
其实除了设置SelectedIndex外，还可以把SelectedItem设置成null。
另外，还看到有些程序员直接把Text设置成empty就算了。对于这种办法，我发现了一个新bug。
要重现这个bug不难。首先，ComboBox是否databound无所谓。在ClearForm的时候把Text设置“”， 看上去选项是清空了，但如果用代码（而非通过UI）选择一个新选项时，ComboBox还是空的，无论用SelectedIndex还是SelectedItem都无法把想要的选项选上。
通过debug，发现在设置ComboBox1.Text = “”后，SelectedIndex和SelectedItem根本没有清空，还是保留原值。当用代码给这两个值其中之一赋值后，另一个值会对应着改变，但是Text还是空的。
解决的办法有两种：
后来，跟朋友谈了一下，他指出问题的原因是这个Text=””，因为””并不是ComboBox的选项之一，如果把””也加入到选项中，就不会出现这种问题。由此引申出，如果把Text设置成任何非有效选项，那么再想用SelectedIndex来选就会失败。所以，对于ComboBox，还是用SelectedIndex比较保险。
今日我标题党了一番，起了一个很大的标题。最近看了一个关于F#的presentation，突然对编程语言的背景知识产生了兴趣，于是wiki了一下相关内容。岂料这些相关的知识无穷无尽，最后上溯到数学这个“源头”。就这样，我白白浪费了一个星期的时间去看科普知识。这里，要慨叹一下维基百科的强大和伟大。
首先我想了解的是M$为什么要引入F#。原来F#是属于一种叫functional programming的programming paradigm，对应地，有我们熟知的Object-Oriented programming。在OOP大行其道了十多年后，functional programming又重新引起人们的兴趣（人总是喜欢怀旧）。M$的嗅觉一如既往地敏锐，于是在完善C#的同时引入了F#。
其实，所谓编程范型有很多，大致可分为以下几种：
命令式编程最早是以面向过程为主，当时将一个个subroutine写成（封装成）function，通过一个主函数来调用。每一行代码就是编程者给电脑的一个“指令”，故而有“命令式”编程这个名字。程序通过修改程序状态（state）、程序内的变量来计算结果。后来人们发现，用函数来表示世界有点略显不足，毕竟一个“函数”体现的只是一种“行为”，缺少了行为的载体 — 对象。于是，人们想出了面向对象编程，把数据和函数都封装成对象，不再使用全局变量，而是用对象的属性来传递信息，而函数则变成对象的行为。
封装成对象后，程序变得更容易管理，进一步体现了模块化的理念。但本质上，命令式编程还是要求程序员告诉电脑how to do。而声明式编程的主要动机则是要程序员告诉电脑what to do，然后让电脑自己完成任务。函数式编程和逻辑式编程就归为这类编程范型。对于逻辑式编程其实大家并不陌生，SQL就是其中一种。而函数式编程也不是什么新鲜事儿，早在上世纪90年代就出现了纯函数式语言Haskell，另外我们熟悉的XSLT也算其中一员。
其实，现代编程语言一般都会支持多种编程范型的，例如C# 4.0引入了Linq本身就有很多函数式语言的元素（e.g. λ表达式）。而在过去追求pure的时代，纯函数式编程是不容许有side-effects（即在函数内部修改外部变量或系统状态）的，而构造式编程（即state changes只能发生在过程内部或者只修改输入参数或返回值）则不允许使用go to。
大部分程序员起初都是通过学习面向过程的语言入门，进而通过学习C++、Java掌握了OOP。对函数式编程熟悉的人估计不多。所以当M$引入F#时，大家都很感兴趣。其实函数式编程的理论基础是计算数学里的λ calculus。λ演算为函数表示和求值提供了一个理论框架。它的出现是为了解决“可计算问题”（计算数学的另一个问题是“计算复杂度问题”）。如果能证明一个问题（通过有限步）“可计算”，我们就可以用计算机来解决。而可计算问题更为人知的名字是“判定性问题”，在计算机领域就是“停机问题”。在函数式编程中有大量基本概念，例如fisrt-class function（函数A可以像对象一样作为参数传递给函数B），higher-order function（上述函数B），closure（javascript就很好地支持闭包），recursion等等。
与命令式编程不同，函数式编程更加贴近数学。虽然二者都有”函数”，但对于数学的函数,同样的输入值总会得到同一结果,而命令式编程的函数则不能保证这点。原因在于这些函数可以接受外部输入（如键盘输入不同值），访问并修改外部变量等。而函数式编程就是要反映数学函数的特性 — referential transparency。这样，函数的运行结果可预测，一个表达式与它的值可以相互替换。
在wiki阅读有关词条的时候遇到大量相关概念。很多概念最后都指向一个领域，就是数学。我是一个喜欢寻根究底的人。于是在此期间，我就顺便读了很多数学的词条，例如三次数学危机，康托尔集合论，罗素悖论，数学三大流派，欧式空间与非欧几何，逻辑演算等等，很多大学学到的知识纷纷浮现出来。可惜现在也就只能叹息一下，如果当初学数学的时候有先阅读一下历史背景，或者当时就会投入更大的热情去钻研，也不至于荒废了读大学的四年光景。
现在，我算是真正“计算机科学是数学的一门分支”这句话了。
1 struct Point
2 {
3 private int _x;
4 private int _y;
5
6 public int X
7 {
8 get { return _x; }
9 }
10 public int Y
11 {
12 get { return _y; }
13 }
14
15 public Point(int x, int y)
16 {
17 _x = x;
18 _y = y;
19 }
20
21 public Point Move(int dx, int dy)
22 {
23 return new Point(_x + dx, _y + dy);
24 }
25 }
以上是一个immutable的struct的定义，当调用Move方法后，会返回一个新的实例，而不是直接修改本身的xy。可以联想一下DateTime的Add，还有String的Substring。我们在调用它们后都需要把结果赋值到一个新的变量中，原值并没改变。
讲了那么多，我都只在解释什么是immutable，却没有说为什么要immutable。既然技术上没有限制（struct可以定义public field，或者给property定义setter），那为什么不推荐这么做呢？原因是要减少编程中的逻辑混乱。考虑以下情况：
1 Point p1, p2;
2 p1 = new Point(1, 1);
3 p2 = p1;
4 p2.X = 2;
如果X和Y都可以随便修改，那当修改了p2.X后，p2和p1还相等吗？答案是否定的！
为什么？如果你把Point改成class，无论你怎么修改p1，p2的属性，它们都是永远相对的。可是，请记住，struct是value type，一旦将一个point赋值到另外一个point，这两个point就没有联系了。可以用整数的情况里理解，int i = j，之后修改了j，i是不会随之改变的。赋值是一种复制，但是对于value type和refer type，这个“复制”的意义却差别很大（参考我的另外一遍blog）。
因此，当我们定义struct的时候，应当禁止使用者直接修改其属性，这样才能保证逻辑的一致性。否则，情况会很糟糕，尤其是作为函数参数传递的时候，使用者很难判断是用ByVal还是ByRef。所以，我们务必将struct和class区别对待！
最后，我们来考虑一个比较有趣的问题。原则上，既然struct是value type，它的field和property也应该是value type的。但是，技术上并没有阻止我们定义一个ref type的属性。那么，如果修改这个ref type的属性的属性后，结果会怎样呢？（容许我懒一下，没有把以下vb代码转成C#）
1 Structure Test
2 Private _x As DataTable
3 ReadOnly Property X() As DataTable
4 Get
5 Return _x
6 End Get
7 End Property
8
9 Public Sub New(ByVal dt As DataTable)
10 _x = dt
11 End Sub
12 End Structure
1 Dim dt As New DataTable("Table1")
2 Dim s1 As New Test(dt)
3 Dim s2 As Test = s1
4
5 s2.X.TableName = "Table2"
你会发现 s1.X.TableName 和 s2.X.TableName 最终都等于"Table2"了，为什么？请仔细想想。
1 string s = "보증인\t보증인"; // 使用tab分隔
2
3 UnicodeEncoding utf16BOM = new UnicodeEncoding(false, true); // 指定encoding实例不使用BE，而允许输出BOM
4 int byteCount = utf16BOM.GetByteCount(s);
5
6 byte[] prefix = utf16BOM.GetPreamble(); // 取出UTF-16的BOM字节
7 byte[] output = new byte[prefix.Length + byteCount]; // 声明输出的字节数组，注意长度
8
9 System.Buffer.BlockCopy(prefix, 0, output, 0, prefix.Length); // 复制BOM
10 utf16BOM.GetBytes(s.ToCharArray(), 0, s.Length, output, prefix.Length); // 写入正文
11
12 Response.ContentType = "application/vnd.ms-excel";
13 Response.BinaryWrite(output);
14 Response.End();
刚刚发现，CSV是不能用UTF-16编码的（在Excel里逗号被视作普通字符，而不是分隔符）。我猜想，是因为UTF-16把所有ASCII字符都编码成双字节，在解码时那个“双字节逗号”就被认为是普通内容了。UTF-8编码的CSV没问题，是因为UTF-8使用一个字节来编码英文和数字符号，这部分是和ASCII完全相同的。
由此得出，输出CSV要用UTF-8，输出tab分隔的文件要用UTF-16。以后有机会应该看一下如何直接生成xlsx格式的文件，或者那时就不会这么麻烦。
Jim米空间 