在签名文件中共享区分的联合

我想你在找这样的东西:

Test.fsi:

#light

type Union =
    | Part of string
    | Part2 of int

val awesome: Union -> unit

Test.fs:

#light

type Union =
    | Part of string
    | Part2 of int

let awesome (x :Union) = printfn "%A" x

这将创建一个名为 Test 您可以从其他文件访问:

AnotherTest.fs:

#light

let wickedAwesome() =
    Test.awesome(Test.Part("hellz yeah!"))

如果你 open 这个 试验 模块,您可以按如下方式重新编写anothertest.fs:

#light
open Test

let wickedAwesome() =
    awesome (Part("hellz yeah!"))

见 F# Modules and Namespaces 更全面的教程。

您的F项目需要按正确的顺序排列文件。这意味着将包含func定义的文件放在比使用它的文件更高的位置(字面上)。您可能会考虑将这种防御放在FSI文件中。

我会指出,使用类型名func是一个非常糟糕的想法,因为func的普遍性(以及大多数用户的假设)意味着 3.5 standard (* -> x) delegates .