文件名称：effects-sequences:Oleg可扩展的效果，但效果更好
文件大小：17KB
文件格式：ZIP
更新时间：2024-06-04 03:51:13
Haskell
效果序列 实验，但对效果上下文使用了更丰富的序列。 主意 效果序列结构为二叉树 用（类型级别）二叉树而不是（类型级别）列表来表示效果序列。 这使我们可以通过考虑其叶节点内的效应来更轻松地单独讨论效应。 事实也证明，使成员资格约束成为更一般的子序列关系的特例。 我希望这种形状也可以使我们更容易消除序列中间的某些影响，而不是总是将其消除在列表的开头。 处理效果（子）序列 基于列表的效果序列导致效果处理程序通常具有以下形式： handler :: Effect ( effect ' : effects ) a -> Effect effects b 也就是说，他们通过将effect解释为类型b的值来从序列中移除effect ，可能会要求其他effects成员。 @ lexi-lambda的出色的freer- 定义了一系列的reinterpret处理程序，这些处理程序还为序列增加了效果-但
【文件预览】：
effects-sequences-master
----Setup.hs(46B)
----.gitmodules(112B)
----src()
--------Data()
--------Control()
----effects-sequences.cabal(1KB)
----LICENSE(1KB)
----README.md(3KB)
----cabal.project(291B)
----CODE_OF_CONDUCT.md(3KB)
----.gitignore(19B)
----vendor()
--------type-aligned()