在 C# 中使用来自 F# 的非区分联合类型

Question

我已经在 F# 库中声明了一些我想从 C# 代码中填充的数据类型。我遇到的问题是只有 DU 被“导出”为一个类，考虑这个示例文件 Test.fs：

module Test

type SimpleType = string

type SimpleList = string list

type SimpleDU =
     | A
     | B

type SimpleRecord = { Text : string }

起初我很困惑，因为仅引用 F# 项目不允许我在 C# 中使用 SimpleType 和 SimpleList 类型。我用 ILDasm 查看了生成的 F# 库，发现只有 SimpleDU 和 SimpleRecord 类型的代码可以在 C# 代码中完全访问。

有没有办法“导出”非 DU 类型以便它们可以在 C# 中使用，还是我必须将每个非 DU 类型声明为显式记录？

Answer 1

定义

type SimpleType = string
type SimpleList = string list

是类型缩写，在类型检查期间被消除并且不会创建新类型。这些在规范中有所描述：

8.3 类型缩写

类型缩写定义了其他类型的新名称。例如：

type PairOfInt = int * int

类型缩写在编译过程中被扩展和删除，并且执行 不会出现在 F# 声明的详细形式中，也不能出现在 在运行时引用或访问。