Question

在F＃中，我希望得到一个相当标准的抽象数据类型：

// in ADT.fsi
module ADT
  type my_Type

// in ADT.fs
module ADT
  type my_Type = int

换句话说，模块内部的代码知道my_Type是int，但外部代码不是。但是，F＃似乎有一个限制，其中特定的缩写不能被签名隐藏。此代码给出了编译器错误，并且描述了限制here。

如果my_Type是一个有区别的联合，那么就没有编译器错误。我的问题是，为什么限制？我似乎记得能够在SML和Ocaml中做到这一点，而且，在创建抽象数据类型时，这不是一个非常标准的事情吗？

由于

Answer 1

正如Ganesh所指出的，这是F＃编译器（和.NET运行时）的技术限制，因为在编译期间类型缩写只是被实际类型所取代。因此，如果您编写一个函数：

let foo (a:MyType) : MyType = a + 1

编译器将其编译为具有以下签名的.NET方法：

int foo(int a);

如果缩写的实际类型对库的用户是隐藏的，那么他们将无法识别foo函数实际上正在使用MyType（此信息可能是存储在一些F＃特定的元数据中，但其他.NET语言无法访问...）。

这种限制的最佳解决方法可能是将类型定义为单一案例区分联盟：

type MyType = MT of int
let foo (MT a) = MT(a + 1)

使用这种类型非常方便。它增加了一些开销（在构造类型的值时会创建新的对象），但在大多数情况下这不应该是一个大问题。

Answer 2

F＃中的类型缩写被编译掉（即编译的代码将使用int，而不是MyType），因此您无法使它们正确抽象。理论上，编译器可以在F＃世界中强制执行抽象，但这不会非常有用，因为它仍会在其他语言中泄漏。

Answer 3

请注意，您可以在模块中将类型缩写定义为私有：

// File1.fs
module File1
    type private MyType = int 
    let e : MyType = 42
    let f (x:MyType) = x+1

// Program.fs
module Program
do printfn "%A" (File1.f File1.e)

我不清楚为什么你不能用签名隐藏它;我记录了一个bug来考虑它。

Answer 4

根据我的理解，F＃不允许缩写被签名隐藏。

我发现这个link博主对此进行了评论，但我不确定为何会出现这种情况。

我的假设是，这是一种克制，可以在CLR上与其他语言进行更有效的互操作。

F＃：无法隐藏签名中的类型缩写？为什么不？

4 个答案: