From c46436db4fb20767be46b1db7cd3fff5895d254c Mon Sep 17 00:00:00 2001 From: Jerry Lee Date: Fri, 6 Sep 2019 20:42:13 +0800 Subject: [PATCH] add a-practical-introduction-to-functional-programming --- .../README.md | 614 ++++++++++++++++++ .../lambda.png | Bin 0 -> 17641 bytes 2 files changed, 614 insertions(+) create mode 100644 a-practical-introduction-to-functional-programming/README.md create mode 100644 a-practical-introduction-to-functional-programming/lambda.png diff --git a/a-practical-introduction-to-functional-programming/README.md b/a-practical-introduction-to-functional-programming/README.md new file mode 100644 index 0000000..d9437c7 --- /dev/null +++ b/a-practical-introduction-to-functional-programming/README.md @@ -0,0 +1,614 @@ +原文链接： [A practical introduction to functional programming](https://maryrosecook.com/blog/post/a-practical-introduction-to-functional-programming) - [Mary Rose](https://github.com/maryrosecook) + +## 🍎 译序 + +本文是一篇手把手的函数式编程入门介绍，借助代码示例讲解细腻。但又不乏洞见，第一节中列举和点评了函数式种种让眼花缭乱特质，给出了『理解函数式特质的指南针：函数式代码的核心特质就一条，**无副作用**』，相信对于有积极学过挖过的函数式同学看来更是有相知恨晚的感觉。 + +希望看了这篇文章之后，能在学习和使用函数式编程的旅途中不迷路哦，兄die～ + +# 手把手介绍函数式编程：从命令式重构到函数式 + +有很多函数式编程文章讲解了抽象的函数式技术，也就是组合（`composition`）、管道（`pipelining`）、高阶函数（`higher order functions`）。本文希望以另辟蹊径的方式来讲解函数式：首先展示我们平常编写的命令式而非函数式的代码示例，然后将这些示例转换成函数式风格。 + +本文的第一部分选用了简短的数据转换循环，将它们转换为函数式的`map`和`reduce`。第二部分则对更长的循环代码，将它们分解成多个单元，然后转换各个单元成函数式的。第三部分采用的是有一系列连续的数据转换循环代码，将其拆解成为一个函数式管道（`functional pipeline`）。 + +示例代码用的是`Python`语言，因为多数人都觉得`Python`易于阅读。示例代码避免使用`Python`范的（`pythonic`）代码，以便展示出各个语言通用的函数式技术：`map`、`reduce`和管道。所有示例都用的是`Python 2`。 + + + +------------------- + + + + + +- [理解函数式特质的指南针](#%E7%90%86%E8%A7%A3%E5%87%BD%E6%95%B0%E5%BC%8F%E7%89%B9%E8%B4%A8%E7%9A%84%E6%8C%87%E5%8D%97%E9%92%88) +- [不要迭代列表，使用`map`和`reduce`](#%E4%B8%8D%E8%A6%81%E8%BF%AD%E4%BB%A3%E5%88%97%E8%A1%A8%E4%BD%BF%E7%94%A8map%E5%92%8Creduce) + - [`map`](#map) + - [`reduce`](#reduce) +- [声明方式编写代码，而非命令式](#%E5%A3%B0%E6%98%8E%E6%96%B9%E5%BC%8F%E7%BC%96%E5%86%99%E4%BB%A3%E7%A0%81%E8%80%8C%E9%9D%9E%E5%91%BD%E4%BB%A4%E5%BC%8F) + - [使用函数](#%E4%BD%BF%E7%94%A8%E5%87%BD%E6%95%B0) + - [消除状态](#%E6%B6%88%E9%99%A4%E7%8A%B6%E6%80%81) +- [使用管道](#%E4%BD%BF%E7%94%A8%E7%AE%A1%E9%81%93) +- [现在开始我们可以做什么？](#%E7%8E%B0%E5%9C%A8%E5%BC%80%E5%A7%8B%E6%88%91%E4%BB%AC%E5%8F%AF%E4%BB%A5%E5%81%9A%E4%BB%80%E4%B9%88) + + + +------------------- + +# 理解函数式特质的指南针 + +当人们谈论函数式编程时，提到了多到令人迷路的『函数式』特质（`characteristics`）： + +- 人们会提到不可变数据[1](#note1)（`immutable data`）、一等公民的函数[2](#note2)（`first class function`）和尾调用优化[3](#note3)（`tail call optimisation`）。这些是**有助于函数式编程的语言特性**（`feature`）。 +- 人们也会提到`map`、`reduce`、管道、递归（`recursing`）、柯里化[4](#note4)（`currying`）以及高阶函数的使用。这些是**用于编写函数式代码的编程技术**。 +- 人们还会提到并行化[5](#note5)（`parallelization`）、惰性求值[6](#note6)（`lazy evaluation`）和确定性[7](#note7)（`determinism`）。这些是**函数式程序的优点**。 + +无视这一切。函数式代码的核心特质就一条：**无副作用**（`side effects`）。即代码逻辑不依赖于当前函数之外的数据，并且也不会更改当前函数之外的数据。所有其他的『函数式』特质都可以从这一点派生出来。在你学习过程中，请以此作为指南针。不要再迷路哦，兄die～ + +这是一个非函数式的函数： + +```python +a = 0 +def increment(): + global a + a += 1 +``` + +而这是一个函数式的函数： + +```python +def increment(a): + return a + 1 +``` + +# 不要迭代列表，使用`map`和`reduce` + +## `map` + +`map`入参是一个函数和一个条目的集合，创建一个新的空集合，在原始集合的每个条目上运行该函数，并将各个返回值插入到新集合中，然后返回新的集合。 + +这是一个简单的`map`，它接受一个名称列表并返回这些名称的长度列表： + +```python +name_lengths = map(len, ["Mary", "Isla", "Sam"]) +print name_lengths +# => [4, 4, 3] +``` + +这是一个`map`，对传递的集合中的每个数字进行平方： + +```python +squares = map(lambda x: x * x, [0, 1, 2, 3, 4]) + +print squares +# => [0, 1, 4, 9, 16] +``` + +这个`map`没有输入命名函数，而是一个匿名的内联函数，用`lambda`关键字来定义。`lambda`的参数定义在冒号的左侧。函数体定义在冒号的右侧。运行函数体的结果（隐式）返回。 + +下面的非函数式代码输入一个真实名字的列表，替换成随机分配的代号。 + +```python +import random + +names = ['Mary', 'Isla', 'Sam'] +code_names = ['Mr. Pink', 'Mr. Orange', 'Mr. Blonde'] + +for i in range(len(names)): + names[i] = random.choice(code_names) + +print names +# => ['Mr. Blonde', 'Mr. Blonde', 'Mr. Blonde'] +``` + +（如你所见，这个算法可能会为多个秘密特工分配相同的秘密代号，希望这不会因此导致混淆了秘密任务。） + +可以用`map`重写成： + +```python +import random + +names = ['Mary', 'Isla', 'Sam'] + +secret_names = map(lambda x: random.choice(['Mr. Pink', + 'Mr. Orange', + 'Mr. Blonde']), + names) +``` + +**练习1**：尝试将下面的代码重写为`map`，输入一个真实名称列表，替换成用更可靠策略生成的代号。 + +```python +names = ['Mary', 'Isla', 'Sam'] + +for i in range(len(names)): + names[i] = hash(names[i]) + +print names +# => [6306819796133686941, 8135353348168144921, -1228887169324443034] +``` + +（希望特工会留下美好的回忆，在秘密任务期间不会忘记搭档的秘密代号。） + +我的解决方案： + +```python +names = ['Mary', 'Isla', 'Sam'] + +secret_names = map(hash, names) +``` + +## `reduce` + +`reduce`输入一个函数和一个条目的集合，返回通过组合条目所创建的值。 + +这是一个简单的`reduce`，返回集合中所有条目的总和。 + +```python +sum = reduce(lambda a, x: a + x, [0, 1, 2, 3, 4]) + +print sum +# => 10 +``` + +`x`是迭代的当前条目。`a`是累加器（`accumulator`），它是在前一项上执行`lambda`的返回值。`reduce()`遍历所有条目。对于每一个条目，运行以当前的`a`和`x`为参数运行`lambda`，返回结果作为下一次迭代的`a`。 + +在第一次迭代`a`是什么值？并没有前一个的迭代结果可以传递。`reduce()`使用集合中的第一项作为第一次迭代中的`a`值，从集合的第二项开始迭代。也就是说，第一个`x`是集合的第二个条目。 + +下面的代码计算单词`'Sam'`在字符串列表中出现的次数： + +```python +sentences = ['Mary read a story to Sam and Isla.', + 'Isla cuddled Sam.', + 'Sam chortled.'] + +sam_count = 0 +for sentence in sentences: + sam_count += sentence.count('Sam') + +print sam_count +# => 3 +``` + +这与下面使用`reduce`的代码相同： + +```python +sentences = ['Mary read a story to Sam and Isla.', + 'Isla cuddled Sam.', + 'Sam chortled.'] + +sam_count = reduce(lambda a, x: a + x.count('Sam'), + sentences, + 0) +``` + +这段代码是如何产生它的初始`a`值？`'Sam'`的出现次数的初始值不能是`'Mary read a story to Sam and Isla.'`。初始累加器用`reduce()`的第三个参数指定。这样就允许使用与集合中的项不同类型的值。 + +为什么`map`和`reduce`更好？ + +1. 这样的做法通常会是一行简洁的代码。 +1. 迭代的重要部分 —— 集合、操作和返回值 —— 以`map`和`reduce`方式总是在相同的位置。 +1. 循环中的代码可能会影响在它之前定义的变量或在它之后运行的代码。按照惯例，地图和缩小是有用的。 +1. `map`和`reduce`是基本原子操作。阅读`for`循环时，必须一行一行地才能理解整体逻辑。往往没有什么规则可以以一个固定结构来明确代码的表义。相比之下，`map`和`reduce`则是一目了然表现出了组合复杂算法的构建块（`building blocks`）及其相关的元素，代码阅读者可以迅速理解并抓住整体脉络。『哦～这段代码正在转换这个集合中的每个项目；丢弃了一些转换结果；将剩余部分合并成为单个输出。』 +1. `map`和`reduce`有许多朋友，提供有用的、对基本行为微整的版本。比如：`filter`、`all`、`any`和`find`。 + +**练习2**：尝试使用`map`、`reduce`和`filter`重写下面的代码。`filter`需要一个函数和一个集合，返回结果是函数返回`True`的所有项的集合。 + +```python +people = [{'name': 'Mary', 'height': 160}, + {'name': 'Isla', 'height': 80}, + {'name': 'Sam'}] + +height_total = 0 +height_count = 0 +for person in people: + if 'height' in person: + height_total += person['height'] + height_count += 1 + +if height_count > 0: + average_height = height_total / height_count + + print average_height + # => 120 +``` + +如果上面这段代码看起来有些烧脑，我们试试不以在数据上操作为中心的思考方式。而是想一想数据所经历的状态：从人字典的列表转换成平均身高。不要将多个转换混在一起。每个转换放在一个单独的行上，并将结果分配一个有描述性命名的变量。代码工作之后，再合并缩减代码。 + +我的解决方案： + +```python +people = [{'name': 'Mary', 'height': 160}, + {'name': 'Isla', 'height': 80}, + {'name': 'Sam'}] + +heights = map(lambda x: x['height'], + filter(lambda x: 'height' in x, people)) + +if len(heights) > 0: + from operator import add + average_height = reduce(add, heights) / len(heights) +``` + +# 声明方式编写代码，而非命令式 + +下面的程序演示三辆赛车的比赛。每过一段时间，赛车可能向前跑了，也可能抛锚而原地不动。在每个时间段，程序打印出目前为止的赛车路径。五个时间段后比赛结束。 + +这是个示例输出： + +``` +- +-- +-- + +-- +-- +--- + +--- +-- +--- + +---- +--- +---- + +---- +---- +----- +``` + +这是程序实现： + +```python +from random import random + +time = 5 +car_positions = [1, 1, 1] + +while time: + # decrease time + time -= 1 + + print '' + for i in range(len(car_positions)): + # move car + if random() > 0.3: + car_positions[i] += 1 + + # draw car + print '-' * car_positions[i] +``` + +这份代码是命令式的。函数式版本则是声明性的，描述要做什么，而不是如何做。 + +## 使用函数 + +通过将代码片段打包到函数中，程序可以更具声明性。 + +```python +from random import random + +def move_cars(): + for i, _ in enumerate(car_positions): + if random() > 0.3: + car_positions[i] += 1 + +def draw_car(car_position): + print '-' * car_position + +def run_step_of_race(): + global time + time -= 1 + move_cars() + +def draw(): + print '' + for car_position in car_positions: + draw_car(car_position) + +time = 5 +car_positions = [1, 1, 1] + +while time: + run_step_of_race() + draw() +``` + +要理解这个程序，读者只需读一下主循环。『如果还剩下时间，请跑一步，然后画出线图。再次检查时间。』如果读者想要了解更多关于比赛步骤或画图的含义，可以阅读对应函数的代码。 + +没什么要再说明的了。**代码是自描述的。** + +拆分代码成函数是一种很好的、简单易行的方法，能使代码更具可读性。 + +这个技术使用函数，但但将函数用作子例程（`sub-routines`），用于打包代码。从导绳的意义上说，代码并不是函数式的。实现中的函数使用了没有作为参数传递的状态，即通过更改外部变量而不是返回值来影响函数周围的代码。要确认函数真正做了什么，读者必须仔细阅读每一行。如果找到一个外部变量，必须反查它的源头，并检查其他哪些函数改变了这个变量。 + +## 消除状态 + +下面是赛车代码的函数式版本： + +```python +from random import random + +def move_cars(car_positions): + return map(lambda x: x + 1 if random() > 0.3 else x, + car_positions) + +def output_car(car_position): + return '-' * car_position + +def run_step_of_race(state): + return {'time': state['time'] - 1, + 'car_positions': move_cars(state['car_positions'])} + +def draw(state): + print '' + print '\n'.join(map(output_car, state['car_positions'])) + +def race(state): + draw(state) + if state['time']: + race(run_step_of_race(state)) + +race({'time': 5, + 'car_positions': [1, 1, 1]}) +``` + +代码仍然是分解成函数。但这些函数是函数式的，有三个迹象表明这点： + +1. 不再有任何共享变量。`time`与`car_positions`作为参数传入`race()`。 +1. 函数是有参数的。 +1. 在函数内部没有变量实例化。所有数据更改都使用返回值完成。基于`run_step_of_race()`的结果，`race()`做递归调用[3](#note3)。每当一个步骤生成一个新状态时，立即传递到下一步。 + +让我们另外再来看看这么两个函数，`zero()`和`one()`： + +```python +def zero(s): + if s[0] == "0": + return s[1:] + +def one(s): + if s[0] == "1": + return s[1:] +``` + +`zero()`输入一个字符串`s`。如果第一个字符是`'0'`，则返回字符串的其余部分。如果不是，则返回`None`，Python函数的默认返回值。`one()`做同样的事情，但关注的是第一个字符`'1'`。 + +假设有一个叫做`rule_sequence()`的函数，输入一个字符串和规则函数的列表，比如`zero()`和`one()`： + +- 调用字符串上的第一个规则。 +- 除非`None`返回，否则它将获取返回值并在其上调用第二个规则。 +- 除非`None`返回，否则它将获取返回值并在其上调用第三个规则。 +- 等等。 +- 如果任何规则返回`None`，则`rule_sequence()`停止并返回`None`。 +- 否则，它返回最终规则的返回值。 + +下面是一些示例输入和输出： + +```python +print rule_sequence('0101', [zero, one, zero]) +# => 1 + +print rule_sequence('0101', [zero, zero]) +# => None +``` + +这是命令式版本的`rule_sequence()`实现： + +```python +def rule_sequence(s, rules): + for rule in rules: + s = rule(s) + if s == None: + break + + return s +``` + +**练习3**：上面的代码使用循环来实现。通过重写为递归来使其更具声明性。 + +我的解决方案： + +```python +def rule_sequence(s, rules): + if s == None or not rules: + return s + else: + return rule_sequence(rules[0](s), rules[1:]) +``` + +# 使用管道 + +在上一节中，我们重写一些命令性循环成为调用辅助函数的递归。在本节中，将使用称为管道的技术重写另一类型的命令循环。 + +下面的循环对乐队字典执行转换，字典包含了乐队名称、错误的所属国家和活跃状态。 + +```python +bands = [{'name': 'sunset rubdown', 'country': 'UK', 'active': False}, + {'name': 'women', 'country': 'Germany', 'active': False}, + {'name': 'a silver mt. zion', 'country': 'Spain', 'active': True}] + +def format_bands(bands): + for band in bands: + band['country'] = 'Canada' + band['name'] = band['name'].replace('.', '') + band['name'] = band['name'].title() + +format_bands(bands) + +print bands +# => [{'name': 'Sunset Rubdown', 'active': False, 'country': 'Canada'}, +# {'name': 'Women', 'active': False, 'country': 'Canada' }, +# {'name': 'A Silver Mt Zion', 'active': True, 'country': 'Canada'}] +``` + +看到这样的函数命名让人感受到一丝的忧虑，命名中的`format`表义非常模糊。仔细检查代码后，忧虑逆流成河。在循环的实现中发生了三件事： + +- `'country'` key的值设置成了`'Canada'`。 +- 删除了乐队名称中的标点符号。 +- 乐队名称改成首字母大写。 + +我们很难看出这段代码意识是什么，也很难看出这段代码是否完成了它看起来要做的事情。代码难以重用、难以测试且难以并行化。 + +与下面实现对比一下： + +```python +print pipeline_each(bands, [set_canada_as_country, + strip_punctuation_from_name, + capitalize_names]) +``` + +这段代码很容易理解。给人的印象是辅助函数是函数式的，因为它们看过来是串联在一起的。前一个函数的输出成为下一个的输入。如果是函数式的，就很容易验证。也易于重用、易于测试且易于并行化。 + +`pipeline_each()`的功能就是将乐队一次一个地传递给一个转换函数，比如`set_canada_as_country()`。将转换函数应用于所有乐队后，`pipeline_each()`将转换后的乐队打包起来。然后，打包的乐队传递给下一个转换函数。 + +我们来看看转换函数。 + +```python +def assoc(_d, key, value): + from copy import deepcopy + d = deepcopy(_d) + d[key] = value + return d + +def set_canada_as_country(band): + return assoc(band, 'country', "Canada") + +def strip_punctuation_from_name(band): + return assoc(band, 'name', band['name'].replace('.', '')) + +def capitalize_names(band): + return assoc(band, 'name', band['name'].title()) +``` + +每个函数都将乐队的一个键与一个新值相关联。如果不改变原乐队，没有简单的方法可以直接实现。`assoc()`通过使用`deepcopy()`生成传入字典的副本来解决此问题。每个转换函数都对副本进行修改并返回该副本。 + +一切似乎都很好。当键与新值相关联时，可以保护原乐队字典免于被修改（`mutation`）。但是上面的代码中还有另外两个潜在的修改。在`strip_punctuation_from_name()`中，原来的乐队名通过调用`replace()`生成无标点的乐队名。在`capitalize_names()`中，原来的乐队名通过调用`title()`生成大写乐队名。如果`replace()`和`title()`不是函数式的，则`strip_punctuation_from_name()`和`capitalize_names()`也将不是函数式的。 + +幸运的是，`replace()`和`title()`不会修改他们操作的字符串。这是因为字符串在`Python`中是不可变的（`immutable`）。例如，当`replace()`对乐队名字符串进行操作时，将复制原来的乐队名并在副本上执行`replace()`调用。Phew～有惊无险！ + +`Python`中字符串和字典之间在可变性上不同的这种对比说明了像`Clojure`这样的语言的吸引力。`Clojure`程序员完全不需要考虑是否会改变数据。`Clojure`的数据结构是不可变的。 + +**练习4**：尝试编写`pipeline_each`函数的实现。想想操作的顺序。数组中的乐队一次一个传递到第一个变换函数。然后返回的结果乐队数组中一次一个乐队传递给第二个变换函数。以此类推。 + +我的解决方案： + +```python +def pipeline_each(data, fns): + return reduce(lambda a, x: map(x, a), + fns, + data) +``` + +所有三个转换函数都可以归结为对传入的乐队的特定字段进行更改。可以用`call()`来抽象，`call（）`传入一个函数和键名，用键对应值来调用这个函数。 + +```python +set_canada_as_country = call(lambda x: 'Canada', 'country') +strip_punctuation_from_name = call(lambda x: x.replace('.', ''), 'name') +capitalize_names = call(str.title, 'name') + +print pipeline_each(bands, [set_canada_as_country, + strip_punctuation_from_name, + capitalize_names]) +``` + +或者，如果我们愿意为了简洁而牺牲一些可读性，那么可以写成： + +```python +print pipeline_each(bands, [call(lambda x: 'Canada', 'country'), + call(lambda x: x.replace('.', ''), 'name'), + call(str.title, 'name')]) +``` + +`call()`的实现代码： + +```python +def assoc(_d, key, value): + from copy import deepcopy + d = deepcopy(_d) + d[key] = value + return d + +def call(fn, key): + def apply_fn(record): + return assoc(record, key, fn(record.get(key))) + return apply_fn +``` + +上面的实现中有不少内容要讲，让我们一点一点地来说明： + +1. `call()`是一个高阶函数。高阶函数是指将函数作为参数，或返回函数。或者，就像`call()`，输入和返回2者都是函数。 +1. `apply_fn()`看起来与三个转换函数非常相似。输入一个记录（一个乐队），`record[key]`是查找出值。以值为参数调用`fn`，将调用结果赋值回记录的副本。最后返回副本。 +1. `call()`不做任何实际的事。而是调用`apply_fn()`时完成需要做的事。在上面的示例`pipeline_each()`中，一个`apply_fn()`实例会设置传入乐队的`'country'`成`'Canada'`；另一个实例将传入乐队的名字转成大写。 +1. 当运行一个`apply_fn()`实例，`fn`和键名并没有在自己的作用域中，既不是`apply_fn()`的参数，也不是本地变量。但2者仍然可以访问。 + - 在定义一个函数时，它会保存这个函数能闭包进来（`close over`）的变量引用：在该函数外层作用域中定义的变量。这些变量可以在该函数内使用。 + - 当函数运行并且其代码引用变量时，`Python`会在本地变量和参数中查找变量。如果没有找到，则会在保存的引用中查找闭包进来的变量。就在这里，会发现`fn`和`key`。 +1. 在`call()`代码中没有涉及乐队列表。这是因为`call()`，无论要处理的对象是什么，可以为任何程序生成管道函数。函数式编程的一大关注点就是构建通用、可重用、可组合的函数所组合的库。 + +完美！闭包（`closure`）、高阶函数以及变量作用域，在上面几段代码中都涉及了。嗯，理解完了上面这些内容，是时候来个驴肉火烧打赏一下自己。🍣 + +还差一段处理乐队的逻辑：删除除名字和国家之外的内容。`extract_name_and_country()`可以把这些信息提取出来： + +```python +def extract_name_and_country(band): + plucked_band = {} + plucked_band['name'] = band['name'] + plucked_band['country'] = band['country'] + return plucked_band + +print pipeline_each(bands, [call(lambda x: 'Canada', 'country'), + call(lambda x: x.replace('.', ''), 'name'), + call(str.title, 'name'), + extract_name_and_country]) + +# => [{'name': 'Sunset Rubdown', 'country': 'Canada'}, +# {'name': 'Women', 'country': 'Canada'}, +# {'name': 'A Silver Mt Zion', 'country': 'Canada'}] +``` + +`extract_name_and_country()`本可以写成名为`pluck()`的通用函数。`pluck()`使用起来是这个样子： + +```python +print pipeline_each(bands, [call(lambda x: 'Canada', 'country'), + call(lambda x: x.replace('.', ''), 'name'), + call(str.title, 'name'), + pluck(['name', 'country'])]) +``` + +**练习5**：`pluck()`输入是要从每条记录中提取键的列表。试着实现一下。它会是一个高阶函数。 + +我的解决方案： + +```python +def pluck(keys): + def pluck_fn(record): + return reduce(lambda a, x: assoc(a, x, record[x]), + keys, + {}) + return pluck_fn +``` + +# 现在开始我们可以做什么？ + +函数式代码与其他风格的代码可以很好地共存。本文中的转换实现可以应用于任何语言的任何代码库。试着应用到你自己的代码中。 + +想想玛丽、伊斯兰和山姆。转换列表迭代为`map`和`reduce`。 + +想想车赛。将代码分解为函数。将这些函数转成函数式的。将重复过程的循环转成递归。 + +想想乐队。将一系列操作转为管道。 + +　 + +----------------------- + +**注：** + +1. [^](#note_mark1) 不可变数据是无法更改的。某些语言（如`Clojure`）默认就是所有值都不可变。任何『变更』操作都会复制该值，更改副本然后返回更改后的副本。这消除了不完整模型下程序可能进入状态所带来的`Bug`。 +1. [^](#note_mark1) 支持一等公民函数的语言允许像任何其他值一样对待函数。这意味着函数可以创建，传递给函数，从函数返回，以及存储在数据结构中。 +1. [^](#note_mark1) 尾调用优化是一个编程语言特性。函数递归调用时，会创建一个新的栈帧（`stack frame`）。栈帧用于存储当前函数调用的参数和本地值。如果函数递归很多次，解释器或编译器可能会耗尽内存。支持尾调用优化的语言为其整个递归调用序列重用相同的栈帧。像`Python`这样没有尾调用优化的语言通常会限制函数递归的次数（如数千次）。对于上面例子中`race()`函数，因为只有5个时间段，所以是安全的。 +1. [^](#note_mark4) 柯里化（`currying`）是指将一个带有多个参数的函数转成一个函数，这个函数接受第一个参数，并返回一个接受下一个参数的函数，依此类推所有参数。 +1. [^](#note_mark5) 并行化（`parallelization`）是指，在没有同步的情况下，相同的代码可以并发运行。这些并发处理通常运行在多个处理器上。 +1. [^](#note_mark5) 延迟评估（`lazy evaluation`）是一种编译器技术，可以避免在需要结果之前运行代码。 +1. [^](#note_mark5) 如果每次重复执行都产生相同的结果，则过程就是确定性的。 diff --git a/a-practical-introduction-to-functional-programming/lambda.png b/a-practical-introduction-to-functional-programming/lambda.png new file mode 100644 index 0000000000000000000000000000000000000000..fab48f82095c5aef35e36ace6f51f1bc477328dc GIT binary patch literal 17641 zcmX_o1yq#X_cdKIbayw1FbvYA^Z?QwN(|lIt%yj+5Dthmh;*lP4c#f-0)q56`2POi zV$EW$iTm8=+;jHX=R9}c4;pF;030eDBqSt&lHw~(BqU@o;uV60fp~{AioXK!58Fl2 zz#R$c8PU@Vd15)}4he|?N$Hi0w$H**Hl`1WUTWQZ#-6E+j?j`Ywv&R|!Qmahd@mZcs({FcEcavr8AY_$8c3mN>6ZSzN$z-8?e(HX zB~AbSetGBY_*crj*VW0cA8lMM*E(8YB)}#Kmyf$^=^hxVYHWy7_09n(poK~^ScVat zc~kPOx-=)<&TU^L!Vc9=#$%TlSGx#h83^7>TW7cY!n?Pj z;YCA9s7u(p2u#sU%_OnlOjzE!&t1;G(zdWzXLq?Ezc9?N#W^<=7frN}9fr zn%%7W7=%xwg!t*%x{JFAN$OQ>hbBgj5pB-h_w^zsg7?YKjPPc2>SlL_L%#X6PTq<& z4+%^752uf!lrw4v6C}LTNvOa;phQWhzFz3S=fvcg z8*IzT)17_!jIyzf-4z2dm5GSu?AbKkRN=QcDnB0NYYW;7*Q8uQh)*`UCIl~#4fnF& zGxL1ANm(9g?JqISqD9P*|Al#feDJrFEfkz$DRu(>NZwmsg*a!VQ4*BU_x3*G%~E?V zw>fpqEmBH~`cd8I+69^ZST=Z}(m%!L_yIV%+)BtQzqMWm=j#04;2A4=zQMypfHl;e zAh!9)!Q;(N&11E8t(CbbTvu6ndg7`}h!ufe{iuW0dT$VQ zL~QkEX$D~QNYW!IPW-1m6qO7a270k2W69DgS0M%htR4;yj=#8(JtSY57d5|IUCsPJ z9%v9in8e33n@+{_Es6;OcV>9m( zyl25rD_wgAs`n1+igQqrSgvVo2x>S(y#EYTHL|@auXRts@NtMagMCig+V}(3D}gej zrhr!4<~b~%9+R>rvwjTVuaZ{`MEo~R0gv|XzTU{X*gI8^5i37)ET*L@G|`xlncV-L z2InhXvpMzz<14ay34v4fR2hiBm@hV-uz1qR#*3E>k$!_Z`8 zHrx7@Yoq2#;S^8ueiSrWIm?}`dogg9)#3e8h@zqMn!#6??yh3kQYMM_DGWjArjn0$0cN`r^wgD{X z7=9RL^{Rz0SB zy-c8n{751zG}=}=n<|;b}Y=xMtJqvp>n)Mq}YV%LSuYa-%xCMkC@*M}VFeO{wP#?vBszPV_-@a01 znjDd^bayR`570=gKWxu6nIMUU$?5OD-+9dJ?&0m}2XXWmUy9Yye4(a{EBQfoy)g^WC4b3$(JA2FU%%Vq zPVfQko6XSiy~t5TP9K)&tDn2V9=lRvODpwzv{#=M>995`s-2!$O81u=1$C`&%g<#m z^(m5I;Rt?=`w=?NfF6b)E%sf^vFACX2!kSNR&Z5g>-jvAqXsjWd2;WzWMpeOE+T}% zp{&Czn9WsB3p; zr>+4s;{Fh>eUS_e`sGbygEKt5m7bgq?c2|X(J$j0J0hT6Y7apXj88PzzJ4J)Z!M|OzHR#L2*tt# zIp^36n#E2y{mg?yK0XW6G>x7^a)}=^w-gODIZ~@2BPT-pHtn}VZ@V(~4z*K8ru-mP zMDCGZ0%GKfETduAeIAWh@5~|(FLq*tUKk*f+4Awl0~t90O(yiusEUKeODs<8%*=BQ z{gv+5C^GSP`~*(X-ARu^hxNmMB-Bn=NE{MY4f(r0? zla)UXYd-rO6C;72yQlobh*8duahAlky{?_{|!)X zN^k_#JM-{n1cwo0$!KKNab#PD4-nI(U(z_!;|#H70kOh}q=V}k8?NSHXFnHZHz^-H zZ`Lo@S!4*3Lq1zROdVf-vN3T%so5BNNLoJ1cJ%gp3`s(j(Fj8z)*wcDpQB}F_sEu3 zSTH?1N*Ih~ktR4E0Q|fjq*5UmX(fawi6*18RP{K%e%UsHk!2*TjW7`D4Zh=#-zS2- zGSLhitQV*YLZ8i-t8FWJ5IHS&WCUC-*0{QcBu9{(XOwI=zvfO{M{tdS$Z51R+E`%| z?-GgXKLKQC0Yf~(S4AUR5+B16cXp$by|TKnyhQE5@3*N3_CaK|`wbn6c?=nXwY}CI zmn~mXg*uU?HYKmLEAp561ZXmOyvn2w=6;#n#~U}}QjpHhPzEebv>h{B^0rifhI2G( zV$i-|e^PQ+V>l5~&NC!%$P258b3A0IMp&p@6>V!(q10I8uHC%?aj z)%Ir36hX{X>X3~4Q0}jboq-o!`;`l?Meyg&ZMm;v6f+!i@dFT)LP zY+N&q@5}h|mODhyi2kK(woHgMv}W6|WLUA|Fh}UU$Iu|#YkzzLoDpd0tPpBa@pcIX z^tSlM{W^4CpZottuOB3-u;4z70iwTy{ zu_j0lf<&QKtMnpG^o)NQHmU3NfasQpa}|?ARll;g?mtp8g%MBxw>&V;5&>4nM*8%5 zasFnEkok;3F}Jef4xUC0xsnQFVXP6d`IAPENxX-11vK^&FcusQC{(+Rqf@}dUrfO- zws@PMR@Y|P`XMSlp-!9#m{E0}gM(Svp@VNf$?7Ef^aE9U$TkKWvTcz7>B1QUe+HW> zFAzPQoT`EXqacxxWQzKn{Cq79voHrl3y(k=xritzm@ziC!U?5}uit+`#wWQqRmBtp~I-@25+_HM@vVf|Qim)QM~}oh!gotGTM> zoN-1>DOrSrYb?xD4}7!*s2~+fb=3c|2S>T)<8N6_svWX$VMESQ(~W{)L`mkC5o z0u8RdCho&q=zgy*nYcwg3?Em5mSYhnphK8|71+ZTzvNd?Beat{zbsF8G85fW>(kg< zuPkuB6J^^mg##|IG0Ps+8{Gg&$ku)!qkX!Sa(J@Qn1lVu5eXE8Ga^X>ZT(;m31xH9 zF>AEu;{PMARGsm2V1}DQY(g;zlT$a7KjJ9{zeosULlbB2epIw_0R0nPpSN3I=cqCp#YI4C zEx%pb5l0a`0mk5QW9p^276!D{7b2;gJKwXCb|~RHlc>Nt61JT)Q7w-9r_8a7APi{) zXg^--Boadg{p@ipW6fvCcCI^M7gQ9b123CF1{drUlI?#7jpxaQSc}TKyZn8ZjB^XD zm8n*z0AgN8Ma%3bzIJSU1F2Z`k6-mKY5mXmwvHIKq1M8Yyb2}o!>MfXr5~C71SJhi z5KjJkcuR%9d#m$B1J*PfF5^=q=+x0-f03BQ184F8zxdkX;1_h0l3y2k5)ncVb$;gA zXCckX z?HbZvz^iw<*u(r16*z&{WZAOkx$MpHa^I}50pJ3QG4ba{j$D+ob3spzX`O7X(IIm( zQ3`;Ty)J|Y*cw`N$+h%y+$5K z2T&2YGh!+zrdk$DH5s3iV8mZLL9zci?|5G3be_tLkU_0)<%Mck-43bcUK7*Vag2_o z%R>=X6hV$cG!j@la~|W19Dds+lZK3l4bk*-9Z9R_;|0cgSC1ExR zB$t5adFPStT@Qh0WU2>{fJ37RThyQ^*uZ87vFsCG$hVG5a4!+yv|92G6C`?%`^rH^ zq9Ve!J0~WY%mqGWVEwzzk(bo6_&ps20w^OX)b$ZE?xT5EiuE01Mdb@WsksrT5EUP4 zGv1BMnDOZtU(zC*F`pb7t(Jq0YOP^ydF*sk(i+h7}JA8I{*X##}}Bn$iT{1*vdX*LL7f0W#BR7#a3CBaUQ z7Shd-0cT2({|oA@?Ydn*;|s7qo_>S6pa4+#XyxlO1f{{;i7WxP{2+RAizFkD>rcnH zP`sN!-oQ(76d?W=&RKwJ!SC-a)-F#Il_thS;cd$LSg~htkz?7Lb)BEP6&1Orz3NtD zH5McX57=q7%2!x*_-8to61_~nXyVdxdr757|C8~zZdtniwV(8qmZuM1L~gHF;mCF1 z+RX|6`Xlu@j*J%mGgPsUY&q6*WM#A1mDtA|!*l=cwPtXukhMI#?jG}N*!D%^`CSyj ziasLFkO~7nI*m42!*LDY)EJLOQjIbkyM`+SOTmQV= z6;Q|c!5&hBqE&QOLgi+#V^~N6jV>lDGj_y5td>~6Ts7q6e@?mY3ZLGwSI%v;`=u)f zx8y3&u`$sSlsX$x^l!VGbJYqNs5v@yrGu)rjgQGALYY_e3Dz-S^Ur5(DAHw9Ov;$j zGL1ZC&Nb#mR(^w?LH%RYBVi)WJ)+@J1SS9Ss}AhCckvt?YOOI10O!{kl$+)ln zCYlTx@L1FK#e&}M1utg%ykmVDdc49G2R7gHBIHoYt4kYlmbo!z!ty5u&)>ah(7490 z+_uBG#X1lxT?WjT1^Car=drLtvvdbh{>Ubu;+!d=kDu}e<)wgEX~|GSE56lA5nN~{ zJ`J-8B~b4Fu>R|uTaEQONF{f`Bkzu;acQYe;)6_*PKL@%nII{&wEh@3oNe;db?lw= z3pB`EcmIpbMNGGD9?Sxb9ecjZ6UYQpGsPx1KKtIUwDAzW%EU%Fp8)rOey&N zF4-?fBG`SUD_vHwMq+PJsLI16VGq6(u=bt@IIk(4x`_ES^>OF{^&DeBr{PsusAcf) z59ui94pzL4u2*ty_oLC9yTy|Qa_&3hL#QmP zq|Q2FUOZr0-q+C<$htf4QND&aNf@h^4u>+yDYh;Q_k_GfR6+wYOEByjuLHax3xhYb zAzO~fJm@9uUfngHj-KgOyg{?pKqof+$5{6Ct@i1kv4cV}uFuLNt#oK3w-l;i$@>?L z9}A@2=Wjj{<~HU-xSx>Xm3_r3nxFl{TNQKPih{VMmO?sw*^mR?0Vkmhcxg-O1 z$@$azVHpS4p;L%B5%U5zv-tG?-;majAX5U)wVF0bP=*J=Opppi6=uarrKEopq}I6zhIgy z9-L|tcE8N~ri4BOn>*`>yN_mSuk(JiK!C&G06pzO&=kPA3=POgA>Dc-Hjqoq{<^Zv zF|YED!PSCOd-BsFp^fwLOU<_wP-k94>(fsu|89^K0K@*?LKkLbGAZPC9^}@c$x$bz z{in8-)dpA2-Px9M59}=Y^i7&r4^Rl2zo78p+(`GCE>V|eQFsqKiF{Xi!D%T!E`kRZ z48Pz1lmZz?nBg@ptmVzSq^hc9t@9Co%Rk%Y>&)vhAbE7v0?%f=zW_#E#~4EoL`H%~ zObj9!R$J*QBMBBQaL;z-kQr7x`cJ_v&td~G{u!tmc`7={QSKl+IgCw9$sqDCAi4Q6 z9c4sBMUN5~q2Y)E)ljC8p4=W*7coC`yt$>12a_brK%AERJ4hf^HnWZwFMs`W5-rrC znmjJn+yN1 z;PCCsQDsf zuF3cv4wdxXq>S)MLe$LSrhwy^eML=tlf5t)oo%v3=iqm*GQxcqWV$hMVSDamEVTpf zkzqd)!hTQGQs+1Ai553ZDJnmoNtCnNkuw+53`$t~yB583dOLJ-izPgVo&r%v zC$llHspWiE!sB1@`GWb*3bB@T6`{$-MKfr%NjjdJGtp9PvnTiQz@-LzQD6pJy9k0X zAe=7>c~es;B!}usRyO4KKCcu7H3!83)H(hmU?jinQb0ua4JGL?AIS78X#st@>a?D- zKFY{QbX=sFYg3Gi+LhHNxla4%pAjyY zy&L-=JW(QmH3S>nhw_B7X-T#suYXEGOuGvsK0N440W}-7v^d2{d{nAY{p|A1khTy^`hMlB$eLekYg~9hO|>EtZr(^72Il0Yv20c_hDIN0As&cU5Mb z6wb?xX+}~Cl)lPrM*P|n#e()$>B-qI4f-lhL4TPI%mrvmi>h#; zm_;|++nrA+r7aYqW>%Jz9kAke#XKRqKIidKWI|ZU>Ybp7k$(n_l%6f6OY+6dlJ~%D z`#HmpKi=|p3+FY_%q5LTC}W3CY`Y?q+h_WS=*4cPY++=^x-QVWaC3r0@HwX zZR-0FvB2C19FgG054!QQZ}AjG<}qLTLIlcJD#RgQ+y2yX@%S#^&z+4m-z#F9S=fCC zxxau>z#|enkqixMGNQj$RlEX1%4YVDnh{gDHCI&sl*!N>H1BqGn-Hor?a)aF7WtHQ zO7z6xlvz>x)gFU<9RtxIpoFugs0P_28BMGa%tdbof3+G)Sypm8rn+CU2DJ)WC08J) z$%|g)f1bpG0Z-0wXGTeK9?yjS!cfKNL;NJaGC(okwtDAxa8R6XSGj12?H1x%e|Dn& z8O{~6-?mzj9=3akIf285AJDjlmFNwrNA_FzrkuMg?>OGMs+s)4X zVgWG0%}#dFGnczw)ODON_whj{6Sza;m8)?oB?f>qFnna4Q?!Q#{mqPl!Ha5iHRG2?p)Wnn1I(~0*m69-B zhE^nyZ~YRYTzmVM^C3(BjU$s8qU|Y*3fby)jLJ2bb`g@d4-p#>rVC)ncb5DMNskDA zI8@Q{I2?EQB*O1a$IHkKa$=I}i%kloqkRf))*|HO^|N>!fI1TAcl+LLkqg%((**Qy ziFDRc8bc;vxVRQ^vjp^3c`Wf$^HtPJwPfJ2SdbjnQx3`98vs@fX*`0vo~<kfra7#n3m1gFt*8JWqVN6n}5k!88pY^h|ZF#rN(;YZp`Vw>^^@^lZJ(#&zUos85aII&dee!?=sGRr;i%+BeGcR+5!TIn zji7oT0Wcn61uhRsOF3ECO zs#X`|35Wh3ZT^=;5&*EYf-#mIRfJ(aJQEuKZl-MNqr2+&S$v^5lOp-EB%uM3&!}0Q zAtCe=+wu5PP(wNo_X3PMT?TNrrGVi3Pix!*N3tswXx1DF@Fp~Pz1a7)aA=@W<reo92*#!s*bV!yM&S_( zS?ZR5pXhm%dbH_d@LC&Q<|I&OR$W#6nhg+70h5 zeo~M9%xi$^3V~r;;ziyL-q=@EM5~`t`Z@S{GI-(7qIZ1a+4&1s`23Ak_sDHbhq&KO z3kr`|{E0*bALpz2E1#R|fwS*N5;ljmt<4|R6LgH~GEh`QXOP4XQLR zPL|+}3hsU5#Fp1l;8X;SnuQm7{OjmIWUJsb4l&3VGhwfrl6)51!Z$B^_KTv4%p963 z_OP>i>_P8KhZuO!Ljq1ej3NLB-LLC8qjY2nd-(T2n99XT&B|<@g8SouTUF2w-H-(( ziIL;%7m|P_(vQKOm`!WGv(7|K%{O|_4QE^6F5oL_#^?1*te-uPi?LK0dFc11Bvh48 zlfw`kdh5YEd-nYmip17y7&KG4Xu52>|<@R9J_c)CERUmC@P5w0wT1 zuZKP^Mck={oOP(j?63Q-T;$^l^K#g&gOE;UBZUSoByTXb7m4cr?ju|CwtfE(!L9td z#>i+^t)p5pw;JP?>7w7gjw2l{9!DVG7I*dEq6Iws_vQgDh|ac;Fy;8Fb9f={OH}); zPEg=nx+^w5m~HI+i>LYaHz4P?4qCR48aDjQ0tIZ@xou8SYN{BWGVo;RtC;$|2uNk~ z$7|IoMXq_<+Q6HJl=Pji+k8H{=7f*zR)SDGT&IvEE7Y!9>$zA)dw^A!-1&5dyEY(~ z?rCtONg7m$%L9kj3=e+x%hz@l?=ALbJ>7JzY7E~U+%DiU2(vGy4k1?q5jVo%TN>&?rCUw4Zv z%oNh>qi3gybz8Zq;%KTbc)qMzrEy?saK7}9>Ev{oyxqoC!-2#F{!Vd`<9POj?&kaU zBe$IO+YY5Mxr1(h469E5V!zhFS#;y==A$y4o&|jgv{g1r;dB^6wNGa<$C19aRA-Bp zCi3yZ@6tk2Q>xtywks0M5D9*2A0H=LUC`hodZNhSelFDAJ#y0t1A_`ye+nMzOlFj7 z-L+(eiQn!iG1Jy2=Z-klbX7Xm)cpP*LpZ~%o_|1T|Bj}%cVk_-KqKnspsAhd`}Irc zQ##hAl&&VX6%3gZobit%vkzl6voN(~?Bn9{9LaTnB$zE`wFfw+Uo+bcb%*Rlzl}Df zblj)aSbJPto5xUV)3Mpsa0%4Xbo4s3sUZ|b> z`d}@hQa_Hsv{_wh(WssOR~{pS-Em=hI5x$S#|@dfsVM+abIN#^umsa-m8^?)OhlYxS|cR~rdP4xbX5bg4o~XI!?X$(aO-wwoq`qlgjN}DV^jwG4`PUjpufz5 zMi9l&6Wier*#t18DNv@CRRNJyc-0zHuTW}N9^YU=-AbIaO-3azj^+>VyAOp>h1wEzigjqzQNyFR^~kWDm8&Fu=;7}kb)BAd`~#P zUSVLN7P>#po%hq*ymaY8BlWTv@il|Ejay-L#yG=>XNH4`A(QRB zlq&^8I+>F@!}u~0tt>DFfsfzHc~s(xZuMZS zKC94otXpED40n^`{h^scX*XnBTZE%}<37|Sh%}0)=_0Sc$g@zVKnis{x(#%@k@Zwv zQR6H`Ueb69I#{s{ys}6LKjhuO0-&HnplDJjO%+jHPXLUp>M5~l-7Qk~gaf-mDQPNr zk_ljrYb5o1U3P+hljB`(->keZ6hc^}H}z^D$nR^_zR9i|l;4W#32t=?2vIryW?jQt z0w&D|JdWMI?sZrWQVZ$gg2&rbZBsJlt^cBha-y-`&PU=r#oIi{MBh;vm$9H~P^GDJ zz(WGwMt)QibTH9k#jU9B$J>D@GT&HH0YkRi>bqV+Kt?FTM+z$aUr999F*G*0w9tl; zSelht&}}M30d;%0KPPIzwzUHxlAhbfa&Qvli&4xwmfLR!Wtli%q>dYla2d5TL#!95 zq?h*|zZ91UqNh7Z_sJy1(ifXTU#RpTX%-1sh0F^fec)FrQG1igR{}y+6Man9XkeV` zNmYV6Eq$WOQswoQVw!bYW>iqi0ksA`&#Fg40MCb+rT56dhZNfaren;9VPmu6_-wiMaM-urg46UD`DuQ zdF>vh5OK`A+XRg4$f-w94r>m-3sQnpw1QPtVk-h~tRaPCAXP>B; z?U4p_Gg?VYh8g(LVVlT=>1QO^S%_u@bIU^Vi-`L1=R?}&U zO4lM)Zb=W`71aaht(Xn`Pc=7k{xp)G&7K``))|{hXyZ{O9_stmG)l_!&RVgAuv6SH zt=ffH2dq|scd48m4v@evG@{hL*?;-(q18fZ{o|8XO*w(jDIQUtJP9M747CXJzEyDg z4VCn#kyMnVy&hp}y9MifZ7VO*4j2F{T-N+lg)S>*x?th*tMtc}j3By8(YL=k?)sg} zDE<8QnS!0J=%on9rJ>iyOcO%p$=9V|gzsBJsikE&6cH^vtpWwxJL77abXAF}8wLK5 z8tn{Ca|~-m9Fi~_-M;|&pj8BRYl9*Xg^V?By0;_)sps~gr`7jYk|qXnUNqumSZY_5 zgb4sf@y~dWf@b8JUvSr79r=lEUb8s7`X-ihNH|7?Lz)-`Bw72@1zvLf5-euz>+ZLx zntnfK5`PV>-1(l#vd%Zyf5w77Z+-K>hI_^(M!f%AKS%5r>-pJZL&g&wFEX zC{)2pKxwda=sQw8wQD;quiJz$Mvt%+V<77JOl$g5Y`U7x^!S)pPT5M;C(Oc6ricfh zNMH(S91Qr~mObuhPmBDZ9bX?yaXl>`+h?>Lof1lE!xB|a{##4{UVB%kh~j0#@3kpg ztk#R0%mv&psYcM%Y|FYivI5S-`(3~P-Df!RRP`!@rf%Ro0dQ=rbQ?4OXIEiS zEJSJC`U(1Q87#VX@aVs_cjZsqE-XW~I4Njbky#9q4j7TGIev%tIfcL$4!>(U+WFF% zY=27W8_RO`@7lSaqm=ZU9up*aA{nS0bB1lrZ?m1ub7~;B9~0|nMCG|_IB*$yK1lEx zm`8OAb`dF%=Q6SsftV>}i3?jg>wo=m1qRgY){2}wwKOKHh46(#vNjz)NuqMl9XJx3 zJ&#>M(p0?QH^&>s*4cjxDWO*}iPAvKMEdd2A=ZoT)mPd+iv`XUlv+pZ-Pw;!dofK5 zSN$=w6k^|Y3sLG4-I5tGYE+wqtyc~lQuStHC$;ERDwA_6SQj%x?F11GCl5RXz2aMJ zLH&M>4xB6&!Z#Zm9-%L{N4;HtS>EWoyE7#O(SM8N`LPBp--O4m@qGHeLhW5tylQP@ z!1-l9k_`w^bCDx1Itw^@rdK|TJN#>>bR#hz@c`?q%bp#AoJVdR=W1A8lCd_TWuex9 zTZNnMcZ*%e*wKNj>Gg9Fh{vC3z$6!mYTq(AY2=**wKpsQFHe59ymS<;a!*8ome!rT za0&QfMhsVVBUZfkwcWCNpFxH%KK>!#d!WKuYagPZm%L=T9{s9*dUMH)sKWocp79n$ z(>)`QIpmvigDk3mGuD>&gmhY-L?4qtyrIRI#{8cw5Uk zUr)&&IrlqI+9g1)Pk-n)Dc!G**=L_$+~yoE{Rn1uPzXB&D_P&P4pyKY&Y}UedeIOw zp2P*u=j&n==2<2hV5wf-Q}TBc8#X-Gl1rg<&3u#3rL|OWHPK*QR=(h{SkEaGx#^_p zwuZZJgz{Rlm-er_4H|Txjd~cdfu<+h-B$KlZgImgSqNJx3gr^TW>=yimKu7X0%7|8 z0MAldar5BRUx7+Z$}@Q5?`}G!s^NJ<2BKpfe+IVs$dH*x%mCpuY*&G!y6HFWp~Dp z(qA)|@23k=V@&C?Xh}Z**o|UARh{S3YPcf=&UcmgqC=wS3a6^kP!JDhKj4f!+!*$O zAUHEi5jyd2KhovEt4@b`g`sIi3BSPC~~S} zuU+Otsaox?GOx1vt0^ycqIO})8_#!7o2i(AwUUyQ*wE}Q7$<~wI?(_l%k30bFZy&} zGyNyd(OVxQzLhje#}rOX)h#Q6U(*E}fWe7(yut2?b=xJRtrtT5iC4V`zAE1)n%LZE z;jy&9KP**CE*~oYfUalW@Ma*)(1cQ{t!RGjsTyijk^IxJbQn3IM71_%MZcD^7@QV% zPKfRjQ=&HT`x3P#oFbVjuD)mxSNq})pzPD)U(Xxf-?)RIe;JnWDXshdnopg5_xg)P ziTzzTiXs{4*u3MYN2~+XWqjYTd7i1dmU7Id9t2rx{$jwMwsQ~Z95h`h_&6hM73UpY zu`bNj`0L(BI`3UYK+ANg>Z5?7kBzqMbh(9jU)7T2h2sS~M`fZM=nw$qV1 z8XOr`B+7;&`pSuVwCQJ#zPo!Q<>4Yg@!Yp+wZ+=YrAtK-eOa{5q&_9I=luG1;@i2k z?^3?S^O4cGZ#KQ+JC>ENI2rJAOW31(V8s~)*PPvPaI4#w^e@swm$Wn0{j=ujg38`|$iQ~`{*5IY1jX}w- zPs+9;XmB9f(CU2F($e9JcapPe&T}Td-H>Tt`i?2Qk(C(uRC=r|kRuzS zoM@0Q85W~ytP{mv2IB>ysYZG~S|0chq~#nbSkv9cC1$2xzFRdq|Ka>x^fGbK^mvY2 zCxcDzukFVB#}8zoDmMVyo3W#}gc0%WU$+hgwdqlz`yWbYxMC91SSzSrS`q7~{|tMD z$6Ea=H-=5zfVoREz0$5@DxoF;vAfq@mARZVn%*CXRg~?uok5%2W>eS8g_De|02@8U+*(}n6sCBAktSZ^|yD@ z-$MoC4B6uq3YVHNy-Ky26W+rV#e>*^jb(biB4<^d;<8r0{P22!Cw_O#Uqz-kzD!1c zQ2XUVXmR`Cl%SB=6E3PAvy`-uV%7?zth^EhKn_z#9jmJbEgI27o0JSX={JTq zq!z_+qCphF!3Z4{!;yk`Qy0U4yREU%o8RPJnjYPW=mkEs28%=cn!#>jMI~o zzP^tudOY4{5Jo>+ddnn)$M0)v2TJtftM1jq>o9JcyPZ`hTq9oO@m_+ULBDYFh zw$h%CSURX*T>Au-yH`<(;KAPmNlY1iF5SO`A-0`h?twaj>>oSZ5)*tGOhbbEACu2Y zDUK$Ipo9w^tS&gjde}K`*k#b+iJ#iY-@Fh2rbC*(%~E#Bt7zDN>j(MVwU_AsCwU67Cuz$^^dh+5+Wo64X>C+fd8$tMc< zQjsSl*!YT6FAZ8kOSfCX*_(1FH^oXDH(%9h1>Fs`xgj$_Qy{X)k!aKz+}q z`q!gb8{0q5xpJguSy=)?RRpq1(xuBO8K72Nt7OrAqo?Fn$6CaqWM#3Zt)^|#0n918 z8SPw)5Xao#k?9uEK($WRu_lr|cTVPBta6LG*K5|s1%-`nZx@WyU+5KMfhE>rxm@K2 zGHFpv^*#|HYsSO&l}ZHP=&bPB%2&w;p2wi%ob6bc$BxQHxWk^M58#6rI&~L}`y%9=Qf>{6golioUVCH?mF(1~8Orb}+)*qgZZ+e^%@ieb z6SqN@!s?^dB(@^u#9q-izr5+P$g-kksK&x6QpcAY5=o&;C$vr{iy7U~kMEj2@cm}{ zZBV5U7|t~v7cikrq=%e0KJd+Wpr}i;g7&jX9@~&_JZ9d^IYH25%tLQVR!2>9LwKM` z+oNMNJr zOEi*|h81Bz>eO*IJCC)gV7e*Bk}dK4En;(BWmZp{yObvAcAB72H4l7gtc6D zW3WrRaH{P)P^6X(QkJAWb_nJki`@T_8k+mVJr_fTw?j3NYqID5!@k6m{1OKHp&%e- z;eOj&C6haV4lYlL3+ReT(oJk2lrB+0-Ad9-PNzzoR1AZr6#bAQZ=A_`rZN`I&RL=g z-T4+M(cOl6mOJm0`cIb2kpi=Dcc%lr2TBluekU(| z?%c>q7peM$;{H$2tHDWG#{o`1wM8h(vH@(b&kD#%Tuq5Kmc^&zXetC1lOsAYk|vs$ zXDq2@FlCf(n5q$qxwZsb5rjh5&}%k6?yf`Ac#gob$KUrs`rJOJ@BC0I6vRn#cx>an zBk@}OG`a!K*bk(2+r+z;B4CRQ2k_S-l-~|8PCg$jfu$H>tEO`Y24yOAYKU^_=)EEm z)&%;{mpS7lce=4-^)Mz|D$3&)QwKOF5lWc$9~(nU9%_Ee{`N2`tRS@P7IHSahG#p^= zA+v?7HoX^B01NYA_Sw$>#n((SwweYH)7zUd0?Xa)5r+yCcwY6M2=(E7hc*jYa#u&0 z%jON8LNBxGGY~&QYCLmu(yJ)IVU@Gpn6^GRBp1cZ^9&@N0?>TjC8LBlw2BZEX3~x2 zk1>@JzQAst?EBGKqA1OQZS*_)9-)7bvV6g`-HA~;k$MjZf^#JjDhKGbfF}12Vi0oD zRjaGb;K;heMTG2BS>wI~AxnN|NzJq#1~9ck)lbOR2oq<2P{>>q3x@Y6d{OXXA_5^Y zI6~EV`cbbC2?;Iy>0E%y&@x41j<|zVg(s~d12dr#u>(VC_fcRb0P>nh?gz2=bi#or z11g~sbw>YRH^;M|%n%S+3feh_)R_)|*i7kGtJ zci1eYR2usGjzNz_j3m(00Q!_&1fC(}_->>Do$DK^Rb0pe_>^$4QQX)kgv!^Xva_P5 zmJ1n;;nNLit98MXuv7MuVM6ptH#^s%CylHLUqxto$8*xItSq0Q5I!w%rvJPY5*aK+ z*697HO;eP3D6R|xNf;pHn@*2kEKKEgWbf(-p=1|8357SUWE}Ws0iw{QCsg@PPIkfW z)|crozQ~a=5MYGqQcHq3$fT7p&E1;+oe+RfL+9awIA+$*NUJ)3gs3RjZKTm0w;VT2 z5Mm{T1LA7M8flThgAQtsx!p(pO$cETjE1*_?_U|5 zc(|^@27IwXlp99&q`sE_efGp!K9`b&Dt4HoLL3o_Q*+WQ&!P60Pp1@kKeVquY0kyx zutcLjW_DmqqL{nR!-5vpX>Rx{UZF7!gaHa_#af5>!}zRkc~`v~8flDuv0f!cFC$JR z09BHiSC>`Y)h_R4E;x5ZsQbw2}04uCF_J643`C+&H0%X{i#=PliD3dJ%*kO;<)i5brI(JACprE?I*n z&dd9EoJ9lz5z}CUb?t87^K8&=lB`>n*>m$A!I?uK5OEDQXxHZAR2^+Q?pPLQjjqAuZmv>8s&-dRr z8wdmTQag8!sd-$qvbS=@?$L?NAzk!=VB zA|-+i>}7*{tr*#6cY9}JWE%p3NV#BDpxw<4WrKW8a>e&$dWL@;M;3uVq;#+mbT*go zEmkEOY{eVxIo>`vk_ZGMt%42qrPbnY9j*9}ZEoLK_Fi`!Jp=-gw!sGdvVp%U!2Gk_ z#VvNZ3ci4&g+L$>?ffI?9B$v!Yyhz2RTIUTxq08k5kepk2$^65fN52^fVS;d967!L eI3kEdi~kRzBxO>$-^M`z0000