定义类和接口
在 F# 中，有两种方式为函数和类的成员定义参数：“curried”风格，成员可以散（partially）应用，“元组（tuple）”风格，所有成员都必须一次给定。定义类时，如使用元组风格，C# 客户端可以更容易使用这样的类。
看下面的例子，在 F# 中定义一个类，其中有一个curried 风格定义的成员CurriedStyle，还有一个元组风格的TupleStyle。
namespace Strangelights
type DemoClass(z: int) =
//method in the curried style
memberthis.CurriedStyle x y = x + y + z
//method in the tuple style
memberthis.TupleStyle (x, y) = x + y + z
从 C# 中查看时，成员CurriedStyle 的签名是这样的：
public FastFunc<int, int>CurriedStyle(int x)
而TupleStyle 则是这样的签名：
public int TupleStyle(int x, int y);
因此，如果想要从 C# 中使用这两个成员，最终的代码会似这样的：
// !!! C# Source !!!
using System;
usingStrangelights;
usingMicrosoft.FSharp.Core;
class Program {
static voidUseDemoClass() {
DemoClass c = new DemoClass(3);
FastFunc<int,int> ff = c.CurriedStyle(4);
int result = ff.Invoke(5);
Console.WriteLine("Curried Style Result{0}", result);
result= c.TupleStyle(4, 5);
Console.WriteLine("Tuple Style Result{0}", result);
}
static void Main(string[] args) {
UseDemoClass();
}
}
从这个示例可以很明显地看出，如果使用元组风格公开类的成员，库用户将会更满意的。
在接口和类中指定抽象成员，要稍微复杂一些，因为有几个更多的选择。下面以例子说明：
namespaceStrangelights
type IDemoInterface =
// method in the curried style
abstract CurriedStyle: int-> int -> int
// method in the tupled style
abstract TupleStyle: (int* int) -> int
// method in the C# style
abstract CSharpStyle: int* int -> int
// method in the C# style with named arguments
abstract CSharpNamedStyle: x : int * y : int -> int
注意，OneArgStyle 和MultiArgStyle 之间唯一的不同是后者不使用括号，在 F# 定义中的这一点不同，对从 C# 中的签名却有很大的影响。下面是前者的签名：
int OneArgStyle(Tuple<int, int>);
而后者的签名是这样的：
int MultiArgStyle(int, int);
对 C# 用户来说，后者显然更加友好一些。然而，我们也要付出一些，为每个参数添加名字。这并不改变 C# 用户使用的签名，当实现这个方法时，只改变在用Visual Studio 工具实现接口时看到的名字；此外，一些其他的.NET 语言会把参数名看得很重要。这听起来好像有点不同，但是，它使实现接口更加容易，因为，这种实现方法能够更好地表达参数真正的意思。
下面的例子演示C# 代码实现在前面的例子中定义的接口IDemoInterface，很明显，C# 用户更乐于接收包含由 MultiArgStyle 或 NamedArgStyle 指定的方法的接口。
// !!! C# Source !!!
using System;
usingStrangelights;
usingMicrosoft.FSharp.Core;
// shows how toimplement an interface
// that has been createdin F#
classDemoImplementation : IDemoInterface {
// curried style implementation
public FastFunc<int,int> CurriedStyle(intx) {
// create a delegate to return
Converter<int, int> d =
delegate(int y) { return x + y; };
// convert delegate to a FastFunc
return FuncConvert.ToFastFunc(d);
}
// tuple style implementation
public intTupleStyle(Tuple<int, int> t) {
return t.Item1 + t.Item2;
}
// C# style implementation
public intCSharpStyle(int x, inty) {
return x + y;
}
// C# style implementation, named arguments
// make no difference here
public intCSharpNamedStyle(int x, int y) {
return x + y;
}
}
[
这一段描述中的名字与实际代码不符，但是，并不影响对文章的理解，故未订正。
]
原文：http://blog.csdn.net/hadstj/article/details/33731553