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

时间:2024-05-27 13:39:36
【文件属性】:

文件名称:purescript-run:可扩展效果的实现

文件大小:20KB

文件格式:ZIP

更新时间:2024-05-27 13:39:36

PureScript

纯脚本运行 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


【文件预览】:
purescript-run-master
----.gitignore(122B)
----README.md(13KB)
----test()
--------Bench.purs(3KB)
--------Examples.purs(3KB)
--------Examples.js(144B)
--------Main.purs(4KB)
--------Bench.js(52B)
----LICENSE(1KB)
----bower.json(1KB)
----package.json(259B)
----src()
--------Run.purs(10KB)
--------Run()
----.travis.yml(323B)

网友评论