如何序列化基于Free Monad的DSL？是否存在标准实现方案？

问题核心 #

是否存在序列化基于Free Monad的DSL的标准方法？还是说正确的做法是创建一个不含函数的第二种数据类型，再编写解释器将原DSL转换为该类型？

示例场景 #

假设我们有如下DSL定义：

data MyDSL next
  = PutStr String next
  | GetStr (String -> next) 

它的解释逻辑是处理标准输入输出的读、写操作。直接序列化这个DSL是不可行的——因为其中的String -> next是函数，而函数本身无法被序列化，这也是“创建不含函数的第二种数据类型”这个思路的由来。

另一种可行思路 #

我们可以把DSL中的String设为类型参数，以此实现序列化支持，示例代码如下：

data Value = Literal String | VariableName String

data MyDSL v next
  = PutStr v next
  | GetStr (v -> next)

execute :: MyDSL String -> IO ()
execute = ...

serialize :: MyDSL Value -> ReaderT [FreshVar] IO ()
serialize = ...

具体实现时，在序列化流程中生成新的变量名，并将其传入v -> next的处理逻辑即可——通过用VariableName这类可序列化的结构替代原有的函数参数，就能绕过函数无法序列化的问题。

内容的提问来源于stack exchange，提问作者Cigarette Smoking Man