对象表达式（Object Expressions）

　　F#中的OOP语法很简洁，而对象表达式则正是这种简洁性的核心所在。通过对象表达式，我们可以创建抽象类或接口的轻量级实现，也可以对一个具体的类进行继承。换言之，可以在实现抽象类或接口，或者继承具体类的同时创建新类型的一个实例。下面来看如何对泛型接口IComparer<’T>应用对象表达式。

F# Code
#light
open System
open System.Collections.Generic
let revStringComparer =
　　{ new IComparer<string>
　　　　with
　　　　　　Compare(s1, s2) =
　　　　　　　　let rev (s : string) =
　　　　　　　　　　new string(Array.rev(s.ToCharArray()))
　　　　　　　　let reversed = rev s1
　　　　　　　　reversed.CompareTo(rev s2)
　　}
let winners = [| "Sandie Shaw"; "Bucks Fizz"; "Dana International"; "Abba" |]
print_any winners
print_newline()
Array.Sort(winners, revStringComparer)
print_any winners

　　运行结果为

Output
[|"Sandie Shaw"; "Bucks Fizz"; "Dana International"; "Abba"|]
[|"Abba"; "Dana International"; "Sandie Shaw"; "Bucks Fizz"|]

　　这里演示了实现IComparer的过程，该接口有一个方法Compare，它接受两个参数并通过返回值来表示参数比较的结果。它是泛型接口，这里的类型参数为string，可以在标识符revStringComparer定义的第二行看到。从标识符的名字也可以了解到，它是将参数颠倒后进行比较，运行结果的第二行印证了这一点。可以看到“在实现接口的同时返回一个实例”。