purescript-run:可扩展效果的实现

纯脚本运行 PureScript的实现。 安装 spago install run 文献资料 模块文档。 Run是PureScript的可扩展代数效果的实现。 这意味着我们可以使用普通的PureScript数据类型编写可组合程序，然后在我们实际希望运行它们时为这些数据类型提供解释器。 我们的效果描述自然可以与其他元素组合在一起，因此我们不需要编写大型的包含数据的类型，也不需要显式地将内容通过变压器堆栈提升。 在使用Run之前，您应该熟悉 。 免费的DSL Free数据类型（位于Control.Monad.Free ）为我们提供了一种获取任何Functor ，并可以从中获取Monad实例。 这使我们可以将相当简单的数据类型转换为可组合的DSL。 这是为字符串输入和输出定义DSL的示例： data TalkF a = Speak String a | Listen ( Str