dmn是大脑中哪个区域_DMN中的函数式编程:感觉就像再次重读我的大学课程一样...

dmn是大脑中哪个区域

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

我们将从一个基本示例开始,以演示FEEL语言和DMN构造的“商业友好”性质如何使我们能够解决一个通常不愉快的问题:递归函数的定义。 然后,我们将在FP土地中冒险,在FEEL / DMN的Gradle中,我们将欣赏功能构造最好的生物之一: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

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

dmn是大脑中哪个区域

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值