gpt4 book ai didi

haskell - 有没有可以像自动机一样使用的单子(monad)?

转载 作者:行者123 更新时间:2023-12-04 11:42:57 27 4
gpt4 key购买 nike

我正在编写从某种输入数据类型到输出数据类型的流转换器。输入由用户进行,因此事件之间有一些时间。因为每个输入都需要一些资源加载,所以我想“展望 future ”,即将所有可能的输入发送到主计算并根据结果预加载资源。

目前,每次输入之后总是只有一个输出,但改变它最终可能会变得有趣。

我用 Ross Paterson 的 Automaton 变压器成功地实现了这一点。我不确定我的解决方案是否最佳。

  • 有没有很好的例子如何做到这一点?也许甚至有测试代码?
  • 它也可以用单子(monad)来实现吗? (例子?,解释为什么不可能?)

  • 编辑:
    在要求更多细节之后,我在这里添加了代码。现在我要删除它(这是无法理解的)并添加一些其他解释。我的问题得到了回答。

    我的意图是在每个用户输入被馈送到箭头/流转换器/任何东西之后停止主事件循环。然后它将存储当前的自动机状态并将所有可能的输入(假事件)一一发送给自动机,并查看必须加载哪些资源,以缓存它们。在下一个真实事件之后,它将使用缓存以获得更好的响应。主计算不应受此影响。

    最佳答案

    Netwire 涵盖了您提到的所有用例。图书馆。它提供了罗斯自动机箭头对线箭头系列的推广。我还没写完wiki page然而,它应该给你足够的开始。

    将此与 Kleisli (LogicT m) 结合使用对于一些单子(monad)m你得到不确定的电线。

    作为附加说明:你想要的不是单子(monad)。

    关于haskell - 有没有可以像自动机一样使用的单子(monad)?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/8419452/

    27 4 0
    Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
    广告合作:1813099741@qq.com 6ren.com