F#自动编译问题：自动包含文件及编译顺序规则疑问（.NET 7.0）

解决自动包含文件的顺序问题 #

你之前用<Compile Include="**\*.fs" />出现顺序问题，是因为**\*.fs默认按文件系统遍历顺序（通常是字母序）收集文件，而F#编译依赖严格的文件顺序——后面的文件可以引用前面文件的类型/模块，但反过来不行。要实现自动包含且保证正确顺序，可尝试以下两种方案：

方案1：目录结构约定+分层通配符 #

如果你的项目按依赖层级划分目录（比如Models/ → Services/ → Controllers/），可以在.fsproj里按目录层级指定通配符，确保依赖靠前的目录先编译：

<ItemGroup>
  <!-- 先编译基础模型层 -->
  <Compile Include="Models\**\*.fs" />
  <!-- 再编译服务层 -->
  <Compile Include="Services\**\*.fs" />
  <!-- 最后编译顶层控制层 -->
  <Compile Include="Controllers\**\*.fs" />
</ItemGroup>
<ItemGroup>
  <Compile Remove="obj\**" />
  <Compile Remove="bin\**" />
  <EmbeddedResource Remove="obj\**" />
  <EmbeddedResource Remove="bin\**" />
</ItemGroup>

只要遵循目录约定，新增文件时无需修改.fsproj，同时保证编译顺序符合依赖关系。

方案2：用Directory.Build.props统一配置 #

如果有多个F#项目，可在解决方案根目录创建Directory.Build.props文件，把自动包含配置放在这里，所有项目都会继承该配置：

<Project>
  <ItemGroup>
    <Compile Include="**\*.fs" Exclude="obj\**;bin\**" />
  </ItemGroup>
  <!-- 可选：如需统一控制顺序，可在此按目录层级指定通配符 -->
</Project>

注意仍需保证文件/目录的命名/结构符合依赖顺序，否则仍会出现编译错误。

为什么F# MSBuild要求指定文件顺序？ #

核心原因是F#采用单遍编译模型：

• F#的类型、模块和函数按编译顺序逐步可见，后面的代码可直接引用前面已编译的元素，但前面的代码无法引用后面的（延迟绑定属于非常规用法）。
• 这种设计是为了保证代码依赖清晰，开发者能通过文件顺序直观看出依赖关系，同时编译器无需多遍扫描解析依赖，编译效率更高。
• 对比C#的多遍编译模型：C#编译器会先收集所有类型信息再处理依赖，因此不需要严格文件顺序。但F#的设计哲学更强调明确的依赖关系，避免隐式循环依赖或模糊引用。

如果编译器自动收集文件并尝试排序，会面临两个问题：

1. 依赖解析可能出现歧义（比如两个文件互相引用形成循环依赖，自动排序无法解决）；
2. 自动排序结果可能与开发者预期的依赖结构不符，导致难以排查的编译错误。

因此F#选择让开发者显式控制文件顺序，虽增加了一点配置成本，但换来了更清晰的依赖管理和可预测的编译结果。

内容的提问来源于stack exchange，提问作者Dan