f# - 定义同名的类型和模块时重复定义类型或模块

Question

据我了解，约定是定义您的类型，然后在其后定义一个具有相同名称的模块以及对该类型进行操作的函数。

我正在尝试这样做，所以我有这个代码

namespace Rand

type ImmutableRandom

module ImmutableRandom =
    open System

    val fromSeed : int -> ImmutableRandom
    val int : ImmutableRandom -> int
    val intInRange : ImmutableRandom -> int -> int -> int
    val double : ImmutableRandom -> double
    val next : ImmutableRandom -> ImmutableRandom

我收到 ImmutableRandom(模块名称带下划线)正在重新定义类型或模块的错误。

在同一个项目中，相同的设置适用于不同的类型，唯一的区别是该类型具有通用参数，而 ImmutableRandom 没有。

我究竟做错了什么？

Answer 1

使用 CompilationRepresentation属性，使其在源代码中具有相同的名称，但在 IL 中不同:

namespace Rand

type ImmutableRandom

[<CompilationRepresentation(CompilationRepresentationFlags.ModuleSuffix)>]
module ImmutableRandom =
    open System

    val fromSeed : int -> ImmutableRandom
    val int : ImmutableRandom -> int
    val intInRange : ImmutableRandom -> int -> int -> int
    val double : ImmutableRandom -> double
    val next : ImmutableRandom -> ImmutableRandom

这将导致模块被命名为 ImmutableRandomModule在 IL 中(因此来自 F# 以外的语言)。与静态成员相比，这有一些优点，在​​这个答案中得到了很好的总结: F# code organization: types & modules