面向对象编程概述（OOP）
面向对象编程是当今最流行的编程范式，看看TIOBE 2008年9月的编程语言排行榜就很清楚了：
在这些主流语言中，除了C，都或多或少地提供对OOP的支持，而Java和C#更是纯粹的面向对象编程语言，C还有一个子集——Objective-C。值得一提的是Delphi的强势回归。下图则是各个编程范式的占有率：
OOP编程范式是指使用“对象”及“对象”之间的交互来设计应用程序。OOP的基本概念包括类，对象，实例，方法，消息传递，继承，抽象，封装，多态和解耦（Decoupling）等。“一切皆是对象”这句话曾盛极一时，它也衍生出了像设计模式这样的重要理念。关于面向对象编程，需要很多本书来讲述，我这里只想说OOP只是设计方式的一种，计算机要解决的问题包罗万象，面对不同的问题，我们也要选择不同的范式，没必要所有问题都要往OO上靠。要了解OOP的更多内容，可以看这里。
面向对象编程是F#支持的第三种主要范式。我在这里将对其中的基本概念逐一介绍。
类型转换（Casting）
在采用面向对象编程时，我们会面对一个类型的层次结构，在F#中，这个层次结构始自obj（即System.Object）。转换是指改变值的静态类型，可能是向上转换（upcast），将类型向着基类的方向移动，也可能是向下转换（downcast），将类型向着派生类的方向移动。
向上转换是安全的，编译器总能够了解一个类型的所有基类。它的操作符是“:>”。下面的代码将string值转换为obj。
F# Code
#light
let myStr = "A string value."
let myObj = (myStr :> obj)
向上转换的一个典型应用场景是在定义集合时。如果不使用向上转换，编译器会自动将集合的类型推导为第一个元素的类型，如果其它元素的类型与之不同，就会发生编译错误。我们不得不显式地进行类型转换：
F# Code
#light
open System.Windows.Forms
let myCtrls =
[| (new Button() :> Control);
(new TextBox() :> Control);
(new Label() :> Control) |]
我们知道在.NET中有值类型和引用类型之分，在对值类型进行向上转换时会自动对其装箱。
向下转换将值的静态类型转换为它的一个派生类，其操作符是“:?>”。这个就没那么安全了，因为编译器没法确定一个类的实例是否与其派生类兼容，如果不兼容（不能转换），程序运行时会抛出一个InvalidCastException。所以使用时要小心一点。看代码吧：
F# Code
let moreCtrls =
[| (new Button() :> Control);
(new TextBox() :> Control) |]
let control =
let temp = moreCtrls.[0]
temp.Text <- "Click me"
temp
let button =
let temp = (control :?> Button)
temp.DoubleClick.Add(fun e -> MessageBox.Show("Hey") |> ignore)
temp
如果你担心转换的安全性，可以采用模式匹配来代替向下转换。