标签： c++ functional-programming coroutine
p1063r1 (PDF)包含以下段落：
此提案未尝试将协程扩展为完全 一般的monad设施。对于希望采用Monadic的程序员 方法，我们的提案和TS都仅限于支持 线性monads，因为它们不支持复制悬浮的 协程框架，因此不能确定地支持 从具有多个输入的相同状态恢复。
我不熟悉那些支持通过多个输入从同一状态不确定地恢复的设计。
是否有任何主要的编程语言实现了这一目标？ 我也想知道这种单子/协程的用例是什么。