我想知道是否有任何新方法被认为是Haskell Monad IO的可行（更好）替代品已经存在多年。
答案 0 :(得分：1)
主要的替代方案是效果系统。有关示例，请参阅http://www.cse.unsw.edu.au/~benl/papers/thesis/lippmeier-impure-world.pdf。其中有很多，所以你的问题不能得到明智的回答。另请参阅What is a type and effect system?
答案 1 :(得分：0)
单峰I / O当前是否是纯语言的“最新技术”？
本身？不，将I / O抽象到Monadic接口之后已经进行了将近30年。
新的是单子I / O上的抽象，例如 iteratees ； Owen Stpehens在其概述Approaches to Functional I/O中提供了更多详细信息。他总结了目前的情况：
I / O不是特别活跃的研究领域，但 仍在发现新方法[...]
Ben Lynn进行了类似的观察：
现在，我们可以编写大部分不纯的代码 包装材料，研究人员大多已停止寻求上等产品 替代品。
Conal Elliott令人印象深刻：
随着单子命令式编程的发明和接受， 就像Haskell社区徘徊在鸦片窝里 在雾中躺在那里。
好吧，我可能有点夸张。有些在康复中，有些在 “没有吸入”。
正是这种对话的丑陋促使单子界面呈现出如此突出的地位-单子I / O是否可以被认为足够丑陋以产生全新的替代品？
只有时间会证明...