纯函数式语言（haskell）用户如何进行设计？他们使用什么替代 uml？ [关闭]

Question

假设haskell 没有概念对象（即使它有关键字class） Haskell 开发人员如何设计他们的代码？它们如何代表交互/实体？他们有 uml 的替代品吗？或等效的课程？（或者他们甚至在乎吗？）

Answer 1

我不知道绘制或描述建筑的任何正式（化）概念。

不过，您可以构建应用程序

最基本的方式是利用类型系统的表现力：

• 在newtypes 中包装简单类型 - 或使用type 同义词 - 区分Int 和Age 值，例如newtype Age = Age Int。
• 将更复杂的类型组合为现有的产品，例如data Person = Person { name :: String, age :: Age}
• 或使用求和类型data Employee = Chef Person | Waiter Person

所有这些数据类型——可以做得更精细——都可以通过记录语法或镜头来访问/修改*。我倾向于将数据类型视为我编写的应用程序的骨架——并使用编译器来忠实于我在启动时的想法，并且从不使用unsafeXX 函数颠覆类型。

缺乏OO/封装

我从来没有 - 没有必要将函数附加到对象（我认为完全错误，但这不在此处讨论）。

基本形式的封装可以通过newtype 和模块及其导出来完成。

多态性

使用类型类已经可以完成很多工作，如果您还没有使用过它们，它们有点像接口（但输入更少） - 但是您可以使用类型系列等高级功能完成更多工作。

---

结论

因此，如果我想绘制我的程序的结构/体系结构，我会从我的数据类型作为框开始，并在它们之间使用箭头作为函数。并且可能对容器类型使用“特殊”框。

*：从技术上讲，通常不会修改东西，而是从旧值创建新值，因为（几乎）一切都是不可变的。