使用Haskell和Polysemy构建整洁架构的实现

该项目是一次尝试，利用Haskell和其强大的Polysemy库来创建一个符合整洁架构原则的多层REST应用程序。开发者旨在展示如何使用代数效应系统在软件系统的不同部分之间保持清晰的关注点分离，从而提高组件的组合性和可测试性。

1、项目介绍

这个项目源于作者在编写《为什么Haskell重要》时的一个小示例应用，该应用试图展示一个纯函数和不纯代码之间严格分离的REST应用。然而，作者发现在测试阶段无法独立地测试控制器，尤其是在涉及Servant的HTTP处理器时。在研究了包括eff、extensible-effects、fused-effects和freer-simple等在内的各种代数效应系统后，他选择了Polysemy，并基于它重构了应用。这个新的实现使得在处理多种效果（如持久化、日志记录、配置、错误处理等）的同时，还能为测试提供替代实现功能。

2、项目技术分析

项目采用了以下关键技术：

• Haskell：一种静态类型、强类型的函数式编程语言，以其纯净性和类型安全性而闻名。
• Polysemy：一个代数效应库，允许将效果的定义与解释分离开来，这有助于保持代码的干净和模块化。

通过将效果分为两个部分——效果的声明和它们的解释，可以编写混合了不同效果的代码，但在测试中可以使用替代效果来隔离测试组件。

3、项目及技术应用场景

这个项目是一个小型精品餐厅的预订系统，每天最多接受20个预订，每个预订最多占用20个座位。应用的业务逻辑采用纯函数实现，以满足"清洁"架构的要求。此外，项目展示了如何在不同层次上（领域层、用例层、接口适配器层和外部接口层）运用这些原则，以确保各个组件之间的松耦合。

4、项目特点

• 清晰的职责划分：遵循整洁架构的原则，项目划分为四个层次，每个层次都有明确的责任范围，确保各组件专注于自己的任务。
• 高测试性：由于业务逻辑是纯函数，因此可以无需依赖外部元素进行测试。
• 低耦合度：UI和数据库被视为外部组件，允许自由更换而不影响核心业务逻辑。
• 灵活性：不受特定软件库或框架限制，可以按需选择工具。
• 利用代数效应：使用Polysemy来管理不同的效果，提升代码的可组合性和可测试性。

总的来说，如果你对使用Haskell构建高效且可维护的REST服务感兴趣，或者想了解如何利用代数效应来实践清洁架构，这个项目提供了宝贵的参考和学习机会。