为什么贫血领域模型在C＃/ OOP中被认为是不好的，而在F＃/ FP中却非常重要？

在关于F＃的博客文章中，它表示乐趣和收益，它表示：

在功能设计中，将行为与数据分开非常重要。数据类型是简单且“哑”的。然后分别有许多作用于这些数据类型的函数。

这与面向对象的设计正好相反，在面向对象的设计中，行为和数据必须结合在一起。毕竟，这正是一个类。实际上，在真正的面向对象设计中，除了行为外，您应该什么都没有-数据是私有的，只能通过方法访问。

实际上，在OOD中，围绕数据类型的行为不足被认为是一件坏事，甚至有一个名字：“ 贫血领域模型 ”。

鉴于在C＃中，我们似乎继续从F＃借用，并尝试编写更多的函数式代码；为什么我们不借用分离数据/行为的想法，甚至认为它不好呢？仅仅是因为该定义不与OOP一起使用，还是有一个具体的原因在C＃中是不好的，由于某些原因在F＃中不适用（实际上是相反的）？

（注意：我对C＃/ F＃中的差异特别感兴趣，因为它们可能会改变对优劣的看法，而不是对博客文章中的任一种看法持不同意见的人）。

FP旨在实现此目标而C＃OOP并非这样做的主要原因是，FP的重点在于参照透明性。即，数据进入功能并且数据输出，但是原始数据未更改。

在C＃OOP中，有一个责任委托的概念，您可以将一个对象的管理委托给它，因此您希望它更改其自身的内部结构。

在FP中，您永远不想更改对象中的值，因此将函数嵌入到对象中没有任何意义。

此外，在FP中，您具有更高种类的多态性，可以使您的功能比C＃OOP所允许的通用性高得多。这样，您可以编写适用于任何对象的函数，a因此将其嵌入数据块中是没有意义的。那会紧密耦合该方法，使其仅适用于特定类型的a。在C＃OOP中，这样的行为非常普遍，因为无论如何您通常都无法抽象函数，但是在FP中这是一个折衷。

我在C＃OOP的贫血症域模型中看到的最大问题是，由于拥有DTO x而最终得到了重复的代码，并且由于4个不同的人没有看到其他实现，所以有4个不同的函数将活动f提交给DTO x 。将方法直接放在DTO x上时，这4个人都看到了f的实现并重新使用它。

C＃OOP中的贫血症数据模型阻碍了代码重用，但是在FP中却不是这种情况，因为单个函数在许多不同类型中通用化，因此您可以获得更大的代码重用性，因为该函数在比您使用的函数更多的场景中可用将使用C＃编写单个DTO。

正如评论中指出的那样，类型推断是FP允许实现如此显着的多态性所依赖的好处之一，特别地，您可以将其追溯到具有算法W类型推断的Hindley Milner类型系统。避免了C＃OOP类型系统中的这种类型推断，因为由于需要穷举搜索，添加基于约束的推断时的编译时间变得非常长，请参见此处：https : //stackoverflow.com/questions/3968834/generics-why在这种情况下，编译器无法推断出类型的参数

为什么贫血领域模型在C＃/ OOP中被认为是不好的，而在F＃/ FP中却非常重要？

您的问题有一个很大的问题，它将限制您得到的答案的效用：您是在暗示/假设F＃和FP相似。FP是一大类语言，包括符号术语重写，动态和静态。即使在静态类型的FP语言中，也有许多种用于表达域模型的技术，例如OCaml和SML中的高阶模块（F＃中不存在）。F＃是这些功能语言之一，但以精益而著称，尤其是它既不提供高级模块也不提供高级类型。

实际上，我无法开始告诉您如何在FP中表示域模型。这里的另一个答案非常具体地讨论了如何在Haskell中完成该操作，并且根本不适用于Lisp（所有FP语言的母亲），ML语言家族或任何其他功能语言。

为什么我们不借用分离数据/行为的想法，甚至认为它不好呢？

泛型可能被认为是分离数据和行为的一种方式。来自ML系列功能编程语言的泛型不是OOP的一部分。当然，C＃具有泛型。因此，有人可能会说C＃正在慢慢借用分离数据和行为的想法。

仅仅是因为该定义不适合OOP，

我认为OOP基于根本不同的前提，因此，不能为您提供分离数据和行为所需的工具。出于所有实际目的，您需要乘积和求和数据类型并对其进行调度。在ML中，这意味着并集和记录类型以及模式匹配。

看看我在这里给的例子。

还是有一个具体的原因，由于某种原因，它在C＃中不好，所以在F＃中不适用（实际上是相反的）？

从OOP跳转到C＃时要小心。C＃与其他语言相比，在OOP方面几乎没有什么纯粹的想法。.NET Framework现在充满了泛型，静态方法甚至lambda。

（注意：我对C＃/ F＃中的差异特别感兴趣，因为它们可能会改变对优劣的看法，而不是对博客文章中的任一种看法持不同意见的人）。

由于C＃中缺乏联合类型和模式匹配，因此几乎不可能做到。当您只有一把锤子时，一切看起来都像钉子...

我认为在业务应用程序中，您通常不希望隐藏数据，因为对不可变值进行模式匹配可以确保您涵盖所有可能的情况。但是，如果要实现复杂的算法或数据结构，则最好隐藏实现细节，从而将ADT（代数数据类型）转换为ADT（抽象数据类型）。