组合模式

在上一篇「切题」的文章中，咱们介绍了如何单纯通过几个简略概念实现一个自然数的概念。这也通知咱们，其实函数式编程一个最外围的内容就是用起码的概念派生性地产生更多的概念来实现性能。这个不像Java之类的对象式语言须要的原生概念十分多，而后又须要更多的派生概念解决问题。 然而，其实咱们在下面的文章中始终避而不谈，就是其实咱们应用了「递归」这个概念，这个概念是必须要的「原生」概念吗？还是一个能够用「原生」概念代替的「派生」概念。这一章，咱们就试图解决这个问题。 Lambda演算首先，咱们要回到\(\lambda\)演算的定义，就是作为一个函数式编程，至多要实现一个\(\lambda\)演算（当然还有更为简单组合子的模型，这里临时不思考）： 变量：\(x\)形象：\(\lambda x. M\)利用：\((M N)\)相当于函数式编程，最根本的就是实现这三个概念。而在Python中这三个的体现就是变量、匿名函数、匿名函数带入值。例如上面的例子中x就是变量，f =和g =前面的局部就是匿名函数/形象，f(1)和g(lambda x: x + 1, 1)就是利用： f = lambda x: x + 1f(1)g = lambda h, x: h(x)g(lambda x: x + 1, 1)然而事实上，\(\lambda\)事实上是不够的，因为\(\lambda\)演算只提供了一套符号代换逻辑，譬如下面的f和g的例子，事实上，咱们通过\(\lambda\)演算，只能求出： >>> f(1)1 + 1>>> g(lambda x: x + 1, 1)(lambda x: x + 1)(1)(1 + 1)所以，第一个要减少必不可少的是化简/计算的逻辑，就是波及到四则运算、布尔运算的逻辑，当然这些也能够用符号/函数的概念派生进去，像咱们上一章做的一样。 咱们再来看对于一个递归函数还要什么，这里咱们实现一个2的指数的函数： power_of_2 = lambda x: 1 if (x == 0) else 2 * power_of_2(x - 1)咱们首先发现，对于一个能够在现实生活中产生作用的函数而言，「分支」是必要的，它会终止不必要的无穷循环。 其实，咱们发现了一个问题，就是power_of_2再没有齐全实现前，就曾经调用了power_of_2，这要求咱们的编译器须要有个特地的解决，能够疏忽这件事。并且咱们发现，下面的式子无奈用\(\lambda\)演算来表白。这就呈现了问题。「递归」的概念是必须原生地作为程序语言的一部分，还是咱们能够用过$$\lambda\)演算来实现。这就回到了咱们这一篇要探讨的Y组合子的概念中来了。 Y组合子咱们从新看看这个问题，事实上，要解决它很容易，就是把power_of_2这个也当做变量通过lambda传入，即应该是如下模式： # 留神这里是伪代码不可执行power_of_2 = lambda f: ???? lambda x: 1 if (x == 0) else 2 * f(x - 1)其实咱们要做的一件事就是如何实现在利用中能够循环代换，能够有限地迭代本人。相似这个样子： ...

文章首发：结构型模式：组合模式 七大结构型模式之三：组合模式。简介姓名 ：组合模式 英文名 ：Composite Pattern 价值观 ：专门解决各种树形疑难杂症 个人介绍 ：Compose objects into tree structures to represent part-whole hierarchies.Composite lets clients treat individual objects and compositions of objects uniformly.将对象组合成树形结构以表示“部分-整体”的层次结构，使得用户对单个对象和组合对象的使用具有一致性。（来自《设计模式之禅》） 你要的故事今天咱们再讲讲咱们程序猿的组织架构。技术类的组织架构比较单一，基本上都是这样：经理--->组长--->工程师，如下图所示。 各个公司的 title 可能不太一样，但是基本是差不多这种架构，按职业发展，从入职到能独立开发需求便为工程师，从独立开发需求到能带小团队开发便为组长，从带小团队开发到能带几个团队一起协作开发便为经理。 假设目前有一家公司，技术部就 4 个人，大熊担任经理，中熊担任组长，小熊1和小熊2担任工程师。下面的代码都围绕这个假设编写。 非组合模式我们先来一个非正常的实现方案：从组织架构里，有 3 个角色，分别是经理、组长、工程师，那么我们就按角色去实现一番。 Manager 为经理类，经理下有多个组长 leaders。 /** * 经理 */class Manager { private String name; private List<Leader> leaders; public Manager(String name) { this.name = name; this.leaders = new LinkedList<>(); } public void add(Leader leader) { this.leaders.add(leader); } public void remove(Leader leader) { this.leaders.remove(leader); } public void display(int index) { for (int i = 0; i < index; i++) { System.out.print("----"); } System.out.println("经理：" + this.name); leaders.forEach(leader -> { leader.display(index+1); }); }}Leader 为组长类，组长下有多个工程师 engineers。 ...