如何向 C# 和 F# 公开尽可能友好的类型？

Question

例如，如果我在 F# 中编写了一个模块

module Lib

type A =
    member this.x1 x = ...

let helpa x = ...
let helpb x = ...

type B =
    member this.y1 x = ...

let helpc x = ...

typeA with
    member this.x2 x = ...
typeB with
    member this.y2 x = ...

open Lib 在 F# 中运行良好，但是，如果我想在 C# 中使用它（我只对 Lib 中的类型和成员函数感兴趣），每次创建类型时我都必须 @ 987654327@。没有办法省略模块名称变得相当烦人。调用像Lib.A.C() 这样的静态方法就更麻烦了。

然后我尝试将module 替换为namespace，每次引入一些​​辅助函数时，我都必须创建一个具有新名称的新模块。有时我可以设法将所有辅助函数重新排列到 1 个模块中，但这会导致代码的可读性降低。

什么是更好的结构？

希望我有：Using * = Lib.* 用于 C#。

Answer 1

F# 在这里提供了比 C# 更大的灵活性，因此我将以标准方式将它公开给 C#，即将类型包含在命名空间中。我认为，这样的东西提供了两全其美：

namespace Lib

type A =
    member this.x1 x = ()

[<CompilationRepresentation(CompilationRepresentationFlags.ModuleSuffix)>]
module A =
  let helpa x = ()
  let helpb x = ()

type B =
    member this.y1 x = ()

[<CompilationRepresentation(CompilationRepresentationFlags.ModuleSuffix)>]
module B =
  let helpb x = ()

type A with
    member this.x2 x = ()
type B with
    member this.y2 x = ()

F# 系列遵循类似的设计。您可以使用 [<AutoOpen>] 和 [<RequireQualifiedAccess>] 属性进一步控制如何从 F# 使用模块。

Answer 2

我认为您已经在答案中提到了最佳选择 - 在顶部定义带有 namespace 声明的文件（这样，您可以在 C# 中只编写 using Lib），然后将所有辅助函数放在模块中。

与某种类型（例如 A）明确关联的辅助函数可以放入名为 A 的模块中（类似于 List 模块中与 List<'T> 类型关联的 F# 函数） .

这需要做更多的工作，因为您需要使用特殊属性标记模块（以避免名称冲突），但它在 F# 和 C# 中都很容易使用（而且我认为更好地使用更重要而不是在构建库时节省一些击键）：

namespace Lib

// Declaration of the 'A' type and helper functions in 'A' module 
type A() =
  member this.x1 x = 10

[<CompilationRepresentation(CompilationRepresentationFlags.ModuleSuffix)>]
module A = 
  let helpa (x:A) = x.x1
  let helpb (x:A) = x.x1

// Declaration of the 'B' type and helper functions in 'B' module 
type B() =
  member this.y1 x = 10

[<CompilationRepresentation(CompilationRepresentationFlags.ModuleSuffix)>]
module B = 
  let helpc (x:B) = x.y1

// Member augmentations for easy use from C#
type A with
    member this.x2 x = A.helpa this
type B with
    member this.y2 x = B.helpc this