DMN中的函数式编程：感觉就像再次重读我的大学课程一样

在本文中，我想分享有关DMN中的递归支持的有趣见解，并重点介绍FEEL语言的特定属性如何使功能编程结构能够在DMN中建模。

我们将从一个基本的示例开始，以演示FEEL语言和DMN构造的“商业友好”性质如何使我们能够解决一个通常不愉快的问题：递归函数的定义。然后，我们将在FP土地中冒险，并且在FEEL / DMN的摇篮中，我们将欣赏功能构造最好的生物之一：Y Combinator。最后，我们将再次被问到一个著名的问题：

使用纯工程方法，让我们立即深入研究问题！

基本递归示例

Drools DMN开源引擎允许在DMN商业知识模型节点中提供递归支持。这使递归函数的建模非常容易，这是在DMN中为递归函数建模时的推荐方法 ：允许函数以其名称进行调用。

让我们看一个简单的示例：在DMN中对阶乘函数建模。

我们可以使用Kogito DMN编辑器，并如下定义DRD：

使用“事实”业务知识模型（简称BKM）节点以递归方式定义实际的阶乘函数为：

我们可以注意到，该函数像其他任何普通函数一样调用自身
递归函数，唯一的区别是它被定义为DMN Boxed Expression的一部分；该函数的名称由BKM节点使用框式表达式构造“ fac”定义，然后该函数的主体进行引用并将其自身作为FEEL表达式“ fac（n-1）”的一部分进行调用。

我们可以使用此BKM来计算输入数据节点传递的实际结果，作为“计算阶乘”决策的一部分，如下所示：

这可以很好地工作并给出预期的结果：

{ 我的电话：3 fac：函数fac（n）计算阶乘：6 }

关于柯里

DMN以及更重要的是FEEL语言允许定义和调用咖喱函数。

这使我们可以在FEEL中编写如下内容：

{f：function（a）function（b）a + b，r：f（1）（2）}

哪里：

我们定义了一个touch：context有2个条目
第一个条目名为“ f”并定义了一个咖喱函数：一个参数“ a”的函数，一旦被调用，将返回一个参数“ b”的函数，一旦被调用，将返回a + b的和
后一个名为“ r”的条目以a = 1和b = 2调用咖喱函数。

尽管这可能是一个看起来很奇怪的FEEL表达式，但是一旦执行r = 3，我们就不会感到惊讶。

我们可以使用DMN Boxed Expression构造等效地做：

这是一个名为“咖喱和”的BKM节点； DMN可调用一个参数“ a”，一旦被调用，将返回一个参数“ b”的函数，该函数一旦被调用，将返回a + b之和。

同样，一旦执行我们就不会感到惊讶咖喱求和（1）（2）= 3

Y组合器：无递归支持的递归

让我们回头看一下前面的递归函数示例。我们忽略了以下事实：在DMN中，函数实际上是否可以通过其名称进行自身调用：DMN规范未明确支持此功能，但也未明确禁止它。换句话说，没有正式指定递归支持。

如果我们仍然需要定义递归函数，但又发现道路仍在建设中，缺少正式的递归支持，该怎么办？我们可以使用一种称为“ Y Combinator ”的功能设备，该设备允许匿名函数实现递归，而不必依靠自身（不存在）的名称进行自我调用。

让我们看一个例子；我们可以在DMN中定义Y组合器，如下所示：

它可能是一个看起来很奇怪的函数：）让我们假设它是为我们定义的，我们可以使用它。

我们可以使用它来重新定义阶乘计算，如下所示：

我们可以注意到，“ fac”函数定义的主体在总体上是相同的；但是，它不再是一个通过名称调用自身的函数：在函数主体中没有任何对“ fac（…）”的调用的痕迹！

自然，仍然会有某种形式的递归发生，但是这次是利用闭包范围内的参数名称：“ f”。结果按预期工作： fac（3）= 6

我们可以看一下另一个示例，该示例使用DMN中的Y组合器定义斐波那契序列：

我们再次注意到，在函数体中没有对“ fib（…）”的调用，但是由于使用了Y组合器，因此可以执行斐波那契数列的递归计算。

再次，结果按预期工作： fib（5）= [1、2、3、5]

为了获得更多乐趣，我们可以使用DMN Boxed Expression形式重新定义Y组合器。这是一个有趣的练习，了解如何在其盒装变量中应用闭包。 Y组合器的定义可以重构为：

这将再次产生相同的预期和正确结果。

对于（额外（额外的乐趣）），我们可以在单个FEEL表达式中再次重新定义Y组合器以计算例如4的阶乘：

{Y：function（f）（function（x）x（x））（function（y）f（function（x）y（y）（x））），fac：Y（function（f）function（n）如果n> 1，则n * f（n-1）否则1），fac4：fac（4）} .fac4

结果不出所料：24。

结论

在本文中，我们看到了DMN中递归的基本示例，并且如何在引擎中利用递归支持非常简单； 支持引擎递归支持是我们建议实现递归DMN的方法：给函数命名，并在函数主体中使用该名称来调用自身。在该示例中，我们将函数命名为“ fac”，然后在函数本身的主体中调用了“ fac（…）”。

这种方法非常实用，易于在DMN中建模，并且效果很好。

我们还看到了DMN和FEEL如何确实支持咖喱函数定义和调用。 FEEL（也是）一种功能语言；所有这些属性使我们能够在DMN中定义并使用Y Combinator，这是一种无需递归支持即可实现递归的功能性设备！

我个人发现这些练习对于在DMN中应用函数式编程概念非常有趣，同时确保引擎按预期运行。我要特别感谢我的同事Edoardo Vacchi和Luca Molteni在讨论Y组合器和Currying功能时所给予的支持。

对DMN感兴趣？

如果您以前不了解DMN，那么您会发现这篇文章很有趣，但是想要对DMN标准进行温和介绍，我们提供了有关DMN的正确的崩溃课程，您可以通过以下网址免费获得： http://learn-dmn-in-15-minutes.com