实现领域驱动设计的函数式方法

Question

我在使用 C# 编写领域驱动应用程序方面拥有丰富的经验。我编写的应用程序越多，我就越发现我想采用一种不太适合标准 C#/OO 技术的方法：

1. 我想编写尽可能多的纯函数，因为它们确实很容易测试。
2. 我想以更具声明性的方式编写我的业务逻辑。

所以我一直在研究函数式语言，例如 F#。毕竟，领域驱动设计没有理由必须使用面向对象来实现。

我想知道是否有人对使用函数式语言进行领域驱动设计有任何想法/经验。特别是：

• 功能域模型会是什么样子？
• 您将如何从域模型中抽象数据访问层。

Answer 1

免责声明：我对领域驱动设计只有模糊的了解，因此答案可能没有使用正确的术语，并且可能过度关注代码而不是一般概念，但无论如何，这里有一些想法...

关注于理解领域而不是设计特定的功能或对象来实现它们对于人们使用函数式编程语言的一般方式来说似乎是很自然的。通常（至少在功能应用程序的一部分中），您首先要设计描述（或建模）您正在使用的世界的数据结构。数据结构与实现分离，因此它可以很好地建模领域。

中描述了一个非常好的示例关于撰写金融合约的论文。该示例是金融合同评估（和其他处理）的应用程序。最重要的是创建合同模型——它们实际上是什么？为了回答这个问题，作者设计了一个用于描述合约的数据结构。类似的：

type Contract = 
  | Zero                         // No trades
  | Single of string * float     // Single trade (buy something for some price)
  | And of Contract * Contract   // Combine two contracts 
  | Until of Contract * DateTime // Contract that can be executed only until...
  // (...)

还有一些其他情况，但数据结构非常简单，并且对金融行业使用的各种相当复杂的合约进行了建模。

总结 我认为对用于对世界进行建模的数据结构（并与使用它们的实现分离）的关注与 DDD 的关键概念非常接近。

Answer 2

以下是惯用的 F# 实现示例： 使用 F# 和 EventStore 进行领域驱动设计

免责声明：我是作者。

Answer 3

有一个新想法是使用 Clojure（Lisp 的现代版本）（一种函数式语言）来创建领域模型。 这个演示文稿是一个非常好的介绍（而且它也是一个很棒的演示HTML5）。

长话短说，功能态度与事件排序相结合非常有用。它可以让您非常轻松地创建完全可测试的模型。如果您现在不想跳入全新的语言，现代 C# 是一种非常好的编写类似函数式代码的语言（至少对于实现公共领域模型而言）

Answer 4

老问题但令人惊讶的是今天仍然有意义。

据我所知，关于功能域驱动设计的最好（唯一？）的书是Domain Modeling Made Function，编写作者：Scott Wlaschin，F# for fun andprofit（如上所述）的作者。

在深入了解本书之前，演讲函数式编程设计模式是对这些概念的一个很好的总结（提示：有没有模式 :)

这些示例是用 F# 编写的，但它们很容易翻译成任何其他具有代数类型的函数语言（在我的例子中是 Haskell 和 PureScript）。