泛函编程（30）－泛函IO：Free Monad－Monad生产线

 在上节我们介绍了trampoline。它主要是为了解决堆栈溢出（stackoverflow）错误而设计的。trampoline类型是一种数据结构，它的设计思路是以heap换stack：对应传统递归算法运行时在堆栈上寄存程序状态，用trampoline进行递归算法时程序状态是保存在trampoline的数据结构里的。数据结构是在heap上的，所以可以实现以heap换stack的效果。这种以数据结构代替函数调用来解决问题的方式又为泛函编程提供了更广阔的发展空间。

    我们知道，任何涉及io的运算都会面临堆栈溢出问题。这是因为io通常针对无法预计的数据量以及重复循环操作。所以io算法设计也会采用与trampoline一样的数据结构。或者我们应该沿用trampoline数据结构和算法来设计io组件库。如此思考那么我们就必须对trampoline进行深度抽象了。free monad就是trampline的延伸。在介绍free monad之前我们先从一个现实的例子来展开讨论：

假设我们要编写一个银行转账的函数，我们可能先把这个函数的款式（function signature）推导出来：

首先我们在这里采用了参数注入（parameter injection）方式：在transfer函数输入参数中注入context object。这个context object里包括了身份验证、操作跟踪、错误处理、数据存取等等。这算是传统oop编程模式吧。对于一个泛函编程人员来讲：通过这个context object 可以进行一系列的操作。包括io操作，也就是说可以进行一些含有副作用（side effect）的操作。那么这个函数是无法实现函数组合（function composition）。transfer函数就不是一个泛函编程人员该使用的函数了。

也许我们应该从泛函编程角度来尝试设计这个函数：用泛函编程提倡的不可蜕变（immutability）方式来设计，也就是向函数调用方返回一些东西。

比如我们可以向函数调用方返回一个描述操作的程序：一串命令（instruction）：

这个版本肯定是个泛函版本了。不过假如instruction类型包括了互动操作的话就不足够了。我们先看看简单的交互的数据类型：

如果我们按照上面的思路返回一串命令的话：

这个程序prg是有缺陷的：无法实现交互。好像如果能把ask指令存放到一个临时变量里就可以达到目的了。那么如果我们把这个prg改写成下面这样：

这不就是monad款式吗？原来解决方法就是把交互类型trait interact[a]变成monad就行了。

不过要把interact变成monad就必须实现unit和flatmap两个函数，检查interact trait，明显这是不可能的。

那我们把下面的努力都应该放在如何转变成monad这方面了。既然我们在本篇命题里提到free monad是monad生产线。那么用free monad能不能把interact变成monad呢？

我们先看看这个free monad类型结构：

这个free结果跟trampoline简直是太相似了。如果free是个monad，那么我们应该必须实现它的flatmap函数：

我们可以用下面的lift函数来把interact[a]升格成free[f,a] ：

有了lift我们可以吧prg升格成monad：

这是因为implicit scope里的类型转换使interact升格为free，而free是个monad，所以我们可以使用for-comprehension。

好了，这个程序描述完成后应该如何运算呢？free monad包括了两部分功能，相互之间无关联，可以分开单独考虑。这就是所谓的关注分离（separation of concern）。free monad的两项功能分别是monad，和interpreter（解译器）。我们用monad描述程序算法，用interpreter解译程序形成针对特定运行环境的可运行代码。

free monad的interpreter实现了算法和运算的分离考虑。interpreter程序运算是通过一个转换函数实现的。这个函数把f[_]这样一个算法解译成g[_]这样一个针对可运行环境的monad运行代码。这种转换就是自然转换（natural transformation），它的函数款式如下：

很明显，这个构建函数（constructor）把传入的f[a]解译成g[a]。

现在interpreter运行一段算法就是对算法f[_]中的表达式进行一对一的g[_]转换。就像对list结构中元素进行处理的方式一样，我们可以用折叠算法来实现f[_]结构中表达式的转换：

我们看到，foldmap把free monad f[_]中的表达式与monad g状态进行了对应。注意bind状态是循环递归的。

现在我们可以试试最简单的解译：f,id转换：

运算上面那段interact程序：由于id不产生任何效果，interact到id转换即是直接运算interact表达式：

或者我们可以试试再复杂一点的解译：

以上我们把运行interact中的交互信息存入map[string,string]结构中。在这里进行了interact到一个函数map=>(list,a）的转换。

在上一节我们讨论了trampoline。主要目的是解决泛函算法中不可避免的堆栈溢出问题。如果我们用free monad来解决io问题的话，堆栈溢出问题也是无法避免的。我们应该考虑在free monad里使用trampoline类型。这样我们才可以放心地用free monad来产生任何类型的monad并在运算中以heap换stack解决堆栈溢出问题。