#功能化
Don’t Think, Just Defunctionalize(www.joachim-breitner.de)
2020-12-23 21:27更新：原来我无意间James窃了詹姆斯·科佩尔（James Koppel）的演讲“您从未听说过的最佳重构”。请认为这是一种真诚的奉承。
今天，我将带您再次走遍程序转换的整个领域。让我们从一个简单的二叉树开始，在叶子中使用未知类型的值以及规范的map函数：
数据T a = L a | B（T a）（T a）映射1......
Defunctionalization and Freyd’s Theorem(bartoszmilewski.com)
2020-8-5 17:27
函数式编程的主要思想是像对待任何其他数据类型一样对待函数。特别是，我们希望能够将函数作为参数传递给其他函数，将它们作为值返回，并将它们存储在数据结构中。但是函数是哪种数据类型呢？它是一种类型，当与另一段称为参数的数据配对时，可以将其传递给名为Apply的函数以产生结果。
在实践中，函数应用隐含在语言的语法中。但是，正......