相当于SOLID原理的函数式编程

在考虑面向对象的设计时，我发现SOLID原理非常有用。

是否有针对功能编程量身定制的类似/等效的语言不可知原理集？

找到等效项有点困难，但是我可以尝试：

• FP中的S（SRP）函数始终为相同的参数创建相同的输出，这称为引用透明性
• FP中的O（OCP）有一个称为代数数据类型的概念，请看一下它与类层次结构的关系以及两者都试图解决的问题¹
• L（LSP）Liskov替代原理是协方差²
• 通用函数式编程中的D（DIP）通过函数组合来实现抽象，借助范畴论（例如monoid或functor），还有其他机制用于“依赖注入” ³

对于功能/命令域来说，SOLID也是一个好主意。

SRP- “只做一件事情”首先是从命令式编程中获得的。具有小的，集中的功能是好的。

OCP-允许您无需修改​​代码即可更改行为。函数式编程使用高阶函数比继承更多，但是原理仍然成立。

LSP -通过一些接口守合同只是在函数式编程好，因为在面向对象的。如果排序函数使用比较器，则您会期望'0等于，小于提供负结果，大于大于正结果'的行为。

ISP-大多数功能语言仍然具有结构。指定功能所需的最小数据集仍然是一种好习惯。要求对数据使用最不特定的接口（当T的Enumeration同样工作时，为什么要使用整数列表）仍然是一种好习惯。

DIP-为函数指定参数（或更高阶的函数以检索参数），而不是硬编码要获得一定价值的函数，在函数编程中与在面向对象中一样好。

即使在进行面向对象的编程时，这些原理中的许多原理也适用于对象中的方法设计。