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是大脑中哪个区域

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/331260.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

对Servlet容器的补充

【0】README 0.1)本文是对 一个简单的servlet容器 的补充; 【1】Servlet容器 1.1)通过一个简单的servlet容器这篇博文,我们看到:其中的核心代码是 类加载器, 然而,在我follow 其代码&#xf…

漫画:什么是A*寻路算法

转载自 玻璃猫 程序员小灰比如像这样子:第一步:把起点放入OpenList第二步:找出OpenList中F值最小的方格,即唯一的方格Node(1,2)作为当前方格,并把当前格移出OpenList,放入CloseList。代表这个格子已到达并…

apache ignite_Kubernetes集群上的Apache Ignite和Spring第2部分:Kubernetes部署

apache ignite以前,我们已经成功创建了第一个由Apache Ignite支持的Spring boot Application。 在此博客上,我们将重点介绍Kubernetes方面需要做的事情,以便能够启动我们的应用程序。 如先前博客所述,我们需要制定我们的Kuberne…

漫画:什么是布隆算法

转载自 玻璃猫 程序员小灰两周之前——爬虫的原理就不细说了,无非是通过种子URL来顺藤摸瓜,爬取出网站关联的所有的子网页,存入自己的网页库当中。但是,这其中涉及到一个小小的问题......URL去重方案第一版:HashSet 创…

2016第11届四川省高校计算机(软件)院长论坛纪要(旁听)

​【0】README 0.1)该论坛与16年4月8日在西南交大召开,为贺西南交大120周年华诞; 0.2)以下内容是小生在该论坛上的部分旁听内容(仅仅是部分), 感觉很新鲜,故分享之; 0…

selenium自动化测试_为什么在生产中进行Selenium自动化测试对于您的下一个版本至关重要?...

selenium自动化测试您是否认为仅仅是因为您的Web应用程序在过渡环境中以飞快的速度通过,它对于生产环境也将是相同的? 您可能需要重新考虑! 特别是,如果我们指的是跨浏览器测试 ,则需要确保跨各种操作系统&#xff0c…

java.lang.ExceptionInInitializerError的原因

【0】README 0.1)本文转自 http://blog.csdn.net/fykhlp/article/details/6236316; 【1】正文如下 这个错误是说变量初始化出现问题,通常出现在静态变量尤其是单例模式。这种问题往往是初始化顺序不对造成的,下面举个简单的例子。…

漫画:Bitmap算法 整合版

转载自 玻璃猫 程序员小灰两个月之前——为满足用户标签的统计需求,小灰利用Mysql设计了如下的表结构,每一个维度的标签都对应着Mysql表的一列:要想统计所有90后的程序员该怎么做呢?用一条求交集的SQL语句即可:Select…

tomcat(3)连接器

【0】README0.1)本文部分内容转自“深入剖析tomcat”,旨在学习 tomcat(3)连接器 的基础知识;0.2)Catalina 中有两个主要的模块:连接器(ServerSocket) 和 容器(Servlet容器&#xff0…

java正则表达式验证_如何在Java中验证电话号码(正则表达式+ Google libphonenumber)...

java正则表达式验证关于如何在不同国家(例如美国,美国)使用Java验证电话号码的快速指南。 带有正则表达式和Google libphonenumber API的示例程序。 1.简介 在本教程中,我们将学习如何在java中验证电话号码 。 这主要是为了验证美…

漫画:什么是B-树

转载自 玻璃猫 程序员小灰 本文提到的「B-树」,就是「B树」,都是 B-tree 的翻译,里面不是减号-,是连接符-。因为有人把 B-tree 翻成 「B-树」,让人以为「B树」和「B-树」是两种树,实际上两者就是同一种树。…

tomcat(4)Tomcat的默认连接器

【0】README0.0)本文部分文字描述转自:“深入剖析tomcat”,旨在学习 tomat(4)Tomat的默认连接器 的基础知识;0.1)Tomcat中的连接器是一个独立的模块,可以插入到servlet容器中,而且还有很多连接器…

kafka mirror_SSL Kafka经纪人从Kafka Mirror Maker迁移到Brooklin的挑战

kafka mirror问题 从卡夫卡镜子制造商转移到布鲁克林有我在这里所写的优势。 但是,进行这种迁移并不容易,因为它本来应该如此。 我面临的主要挑战是:在消费者Kafka经纪人和Brooklin之间建立SSL连接 解 SSL问题 事实证明,这个问题…

漫画:什么是B+树

转载自 玻璃猫 程序员小灰这一次我们来介绍 B 树。一个m阶的B树具有如下几个特征&#xff1a; 1.根结点至少有两个子女。 2.每个中间节点都包含k-1个元素和k个孩子&#xff0c;其中 m/2 < k < m 3.每一个叶子节点都包含k-1个元素&#xff0c;其中 m/2 < k < m 4.所…

drools 规则流_约束流–没有Drools规则语言的现代Java约束

drools 规则流传统上&#xff0c;要使用OptaPlanner进行扩展&#xff0c;您必须学习DRL。 不再。 借助受Java 8 Streams和SQL启发的新Constraints Streams API&#xff0c;您现在可以用Java &#xff08;或Kotlin或Scala&#xff09; 编写约束&#xff0c;并且仍然可以从增量计…

char类型和Unicode编码

【0】README0.1&#xff09;本文对 char类型和Unicode编码 的总结并不完整&#xff0c;仅供参考&#xff1b;0.2&#xff09;本文获取Unicode辅助字符的代码点的idea转自&#xff1a; http://blog.csdn.net/xujinsmile/article/details/8526387 &#xff0c; http://bbs.csdn.n…

漫画:什么是一致性哈希

转载自 玻璃猫 程序员小灰一年之前——未来两年内&#xff0c;系统预估的总订单数量可达一亿条左右。 按Mysql单表存储500万条记录来算&#xff0c;暂时不必分库&#xff0c;单库30个分表是比较合适的水平分表方案。 于是小灰设计了这样的分表逻辑&#xff1a; 订单表创建单库3…

小程序真机测试错误代码_测试不充分:知道您的代码是否真的可以投入生产的5种方法...

小程序真机测试错误代码当今的企业都在提高软件交付速度。 但是&#xff0c;发布周期较短时&#xff0c;通常会牺牲代码质量。 当今的DevOps和QA团队承受着防止代码缺陷进入生产的压力&#xff0c;但他们还需要管理空前的工作负载&#xff0c;并且需要比以往更少的时间和资源来…

tomcat(5)servlet容器

【0】README0.0&#xff09;本文部分文字描述转自&#xff1a;“深入剖析tomcat”&#xff0c;旨在学习 tomcat(5)servlet容器 的基础知识&#xff1b;0.1&#xff09;intro to servlet容器&#xff1a;servlet容器是用来处理请求servlet资源&#xff0c;并为web客户端填充resp…

漫画算法:如何判断链表有环

转载自 玻璃猫 程序员小灰 大四毕业前夕&#xff0c;计算机学院&#xff0c; 正在四处求职的小灰碰到了同系的学霸大黄…… 小灰边说边回忆着上周去面试的情形…… 有一个单向链表&#xff0c;链表当中有可能出现“环”&#xff0c;就像下图这样。如何用程序判断出这个链表是…