F＃指南是否建议申报模块＆amp;类型名称相同？

Question

在阅读F# Component Design Guidelines后，我没有看到任何评论我是否应该声明模块＆amp;它的类型具有相同的名称。

通常我的项目没有任何循环依赖，因此我不需要制作新模块（例如InfrastructureTypes或DomainTypes）将每种类型放在一个地方

例如，如果我有一个记录类型System和一堆函数，我应该把所有内容放在一个模块文件中吗？这是我的尝试：

// System.fs
module System

type rec System =
    { name : string
      children : System list }

let init () = { name = ""; children = [] }

let addChild system child =
    { system with system.children = child :: system.children }

let removeChild system child =
    let rec removeChild children acc child =
        match children with
        | c :: children ->
            if c <> child then removeChild children (c :: acc) child
            else removeChild children acc child
        | [] -> List.rev acc

    let children = removeChild system.Children [] child
    { system with system.children = children }

Answer 1

F＃核心库本身的一种常见方法是在同一级别具有同名的模块和类型（而不是像示例中那样在模块内部使用类型） 。例如，有一个List<'a>类型和一个List模块，其中包含用于处理它的函数的函数。与Option，Set，Result等

类似

如果您已经有一个具有给定名称的类型，则可以添加一个属性以允许创建具有相同名称的模块而不会出现编译器错误：[<CompilationRepresentation(CompilationRepresentationFlags.ModuleSuffix)>]

然而，由于F＃4.1，这是隐含的。因此，定义一个与该类型名称相同的模块，并且在编译代码时，单词Module将位于模块名称的末尾。

type System =
    { name : string
      children : System list }

module System =
    let init () = { name = ""; children = [] }

我认为这一切意味着这可以是在F＃中使用的有效模式。特别是当你有一个很好的抽象。您可能希望查找“抽象数据类型”，因为我认为它们适用于此处。

查看我上面给出的示例，这通常更像是一个库级模式，但我听说过它可以应用于应用程序代码中的良好效果。我可以想象它可以帮助您思考和实施抽象边界并保持代码组织。