Haskell支持相互递归的let-bindings，这是不错的。但Haskell不支持相互递归的模块，这有时很糟糕。我知道GHC有它的.hs-boot机制，但我认为那有点像一个hack。
据我所知，支持透明的相互递归模块应该相对“简单”，而且它可以像相互递归的let-bindings一样被实现：不是将每个单独的模块作为编译单元，而是将模块依赖图中每个强连通分量作为编译单元。
我是否漏掉了什么？Haskell为什么不以这种方式支持相互递归模块呢？
这个6年前的功能请求票包含了相当多的讨论，你可能已经看过了。要点是对于GHC来说，这并不完全是一个简单的变化。有几个特定的问题被提出：
GHC目前存在很多关于如何处理编译期间模块的内置假设，而显式支持互递归模块会显著地超过收益。
将一组模块分为一组意味着它们必须一起编译，这意味着更多的重新编译和在生成单独的.hi和.o文件时的困难。
与使用hs-boot文件的现有构建的向后兼容性。
可能会发生跨越互递归模块组的互递归绑定，这会引起任何涉及隐式模块级作用域（例如默认和可能是类型类实例）的问题。
当然，在任何改变GHC长期以来的假设的事情中，都有未知、未预料到的错误的潜在风险。即使没有对编译过程进行大规模的更改，目前仍假定许多事情是按模块单独编译的。
很多人都希望支持这一点，但到目前为止，还没有人提出可能的实现或制定出一个处理上述琐碎细节的详细、规范的设计。
.hs-boot的情况下... - user824425