我正在编写从某种输入数据类型到输出数据类型的流转换器。输入由用户进行，因此事件之间有一些时间。因为每个输入都需要一些资源加载，所以我想“展望未来”，即将所有可能的输入发送到主计算并根据结果预加载资源。
目前，每次输入之后总是只有一个输出，但改变它最终可能会变得有趣。
我用 Ross Paterson 的 Automaton 变压器成功地实现了这一点。我不确定我的解决方案是否最佳。
- 有没有很好的例子如何做到这一点？也许甚至有测试代码？
- 它也可以用单子来实现吗？（例子？，解释为什么不可能？）
编辑：在调用更多细节之后，我在这里添加了代码。现在我要删除它（这是无法理解的）并添加一些其他解释。我的问题得到了回答。
我的意图是在每个用户输入被馈送到箭头/流转换器/任何东西之后停止主事件循环。然后它将存储当前的自动机状态并将所有可能的输入（假事件）一一发送给自动机，并查看必须加载哪些资源，以缓存它们。在下一个真实事件之后，它将使用缓存以获得更好的响应。主计算不应受此影响。