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

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

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

使用纯工程方法&＃xff0c;让我们立即深入研究问题&＃xff01;

基本递归示例

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

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

我们可以使用Kogito DMN编辑器&＃xff0c;并如下定义DRD&＃xff1a;

使用“事实”业务知识模型&＃xff08;简称BKM&＃xff09;节点以递归方式定义实际的阶乘函数为&＃xff1a;

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

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

这可以很好地工作并给出预期的结果&＃xff1a;

{ 我的电话&＃xff1a;3 fac&＃xff1a;函数fac&＃xff08;n&＃xff09; 计算阶乘&＃xff1a;6 }

关于柯里

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

这使我们可以在FEEL中编写如下内容&＃xff1a;

{f&＃xff1a;function&＃xff08;a&＃xff09;function&＃xff08;b&＃xff09;a &＃43; b&＃xff0c;r&＃xff1a;f&＃xff08;1&＃xff09;&＃xff08;2&＃xff09;}

哪里&＃xff1a;

• 我们定义了一个touch&＃xff1a;context有2个条目
• 第一个条目名为“ f”并定义了一个咖喱函数&＃xff1a;一个参数“ a”的函数&＃xff0c;一旦被调用&＃xff0c;将返回一个参数“ b”的函数&＃xff0c;一旦被调用&＃xff0c;将返回a &＃43; b的和
• 后一个名为“ r”的条目以a &＃61; 1和b &＃61; 2调用咖喱函数。

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

我们可以使用DMN Boxed Expression构造等效地做&＃xff1a;

这是一个名为“咖喱和”的BKM节点&＃xff1b; DMN可调用一个参数“ a”&＃xff0c;一旦被调用&＃xff0c;将返回一个参数“ b”的函数&＃xff0c;该函数一旦被调用&＃xff0c;将返回a &＃43; b之和。

同样&＃xff0c;一旦执行我们就不会感到惊讶 咖喱求和&＃xff08;1&＃xff09;&＃xff08;2&＃xff09;&＃61; 3

Y组合器&＃xff1a;无递归支持的递归

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

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

让我们看一个例子&＃xff1b; 我们可以在DMN中定义Y组合器&＃xff0c;如下所示&＃xff1a;

它可能是一个看起来很奇怪的函数&＃xff1a;&＃xff09;让我们假设它是为我们定义的&＃xff0c;我们可以使用它。

我们可以使用它来重新定义阶乘计算&＃xff0c;如下所示&＃xff1a;

我们可以注意到&＃xff0c;“ fac”函数定义的主体在总体上是相同的&＃xff1b; 但是&＃xff0c;它不再是一个通过名称调用自身的函数&＃xff1a;在函数主体中没有任何对“ fac&＃xff08;…&＃xff09;”的调用的痕迹&＃xff01;

自然&＃xff0c;仍然会有某种形式的递归发生&＃xff0c;但是这次是利用闭包范围内的参数名称&＃xff1a;“ f”。 结果按预期工作&＃xff1a; fac&＃xff08;3&＃xff09;&＃61; 6

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

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

再次&＃xff0c;结果按预期工作&＃xff1a; fib&＃xff08;5&＃xff09;&＃61; [1、2、3、5]

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

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

对于&＃xff08;额外&＃xff08;额外的乐趣&＃xff09;&＃xff09;&＃xff0c;我们可以在单个FEEL表达式中再次重新定义Y组合器以计算例如4的阶乘&＃xff1a;

{Y&＃xff1a;function&＃xff08;f&＃xff09;&＃xff08;function&＃xff08;x&＃xff09;x&＃xff08;x&＃xff09;&＃xff09;&＃xff08;function&＃xff08;y&＃xff09;f&＃xff08;function&＃xff08;x&＃xff09;y&＃xff08;y&＃xff09;&＃xff08;x&＃xff09;&＃xff09;&＃xff09;&＃xff0c;fac&＃xff1a;Y&＃xff08;function&＃xff08;f&＃xff09;function&＃xff08;n&＃xff09;如果n> 1&＃xff0c;则n * f&＃xff08;n-1&＃xff09;否则1&＃xff09;&＃xff0c;fac4&＃xff1a;fac&＃xff08;4&＃xff09;} .fac4

结果不出所料&＃xff1a;24。

结论

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

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

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

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

对DMN感兴趣&＃xff1f;

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

翻译自: https://www.javacodegeeks.com/2020/04/functional-programming-in-dmn-it-feels-like-recursing-my-university-studies-again.html