Lastly, a subprocess running evaluation would decouple the API server from the evaluation backend. This client-server model whereas the GHC API is a single large monolith. This may not be specific to IHaskell but a user code failure means the whole kernel dies. This is bad for debugging. Sabela is more fault tolerant. In a subprocess model, handling Ctrl-C (interrupting a long-running computation) is actually much cleaner because you can send a SIGINT to the child process without risking the stability of the parent UI.
2026-03-07 00:00:00:0本报记者 孟祥夫 易舒冉3014388310http://paper.people.com.cn/rmrb/pc/content/202603/07/content_30143883.htmlhttp://paper.people.com.cn/rmrb/pad/content/202603/07/content_30143883.html11921 建设健康中国 增进民生福祉（我和总书记面对面），详情可参考有道翻译
Formerly known as Coq. ↩︎。手游对此有专业解读
2025年非营利研究机构METR做了个试验，找了一帮资深开源开发者搞随机对照，结果直接惊掉了所有人的下巴：用AI编程工具的开发者，干复杂任务时居然比不用的对照组慢了19%！可离谱的是，这些用了AI的开发者还自我感觉良好，坚信自己的工作速度提升了20%。，详情可参考超级权重