Haskell 与操作系统交互（中断）

Question

我的问题是 Haskell 如何与系统交互。 比如IO是怎么发生的？

我对 IO monad 不感兴趣。或者如何让 Haskell 打印字符串或读取文件。 我对 Haskell 和底层操作系统之间的层（如果它是这样工作的）感兴趣。 Haskell 本身（不是我）如何将任何内容打印到控制台？它如何与操作系统交互？

例如，在 Python 中，我可以执行任何系统命令。我可以做到echo message。

真正重要的是了解套接字的工作原理，以及如何确保我的程序在获得新连接时被中断。

在 python 中，一种方法是使用epoll，它是操作系统的一部分（我相信只是接管了对 python 进程的控制）。

编辑：正如@Daniel Wagner 所建议的，让我把这个问题说得更具体一些。 我目前并没有为问题而苦苦挣扎，我只是理论上很好奇。 所以让我问你这个： Haskell 如何处理 Linux 上的套接字产生的中断？

编辑：为了更容易理解我在答案中寻找的内容： - 当 Haskell 被中断时，它会停止死在它的轨道上吗？ - 是否可以保证我可以在完成旧连接处理之前回答新连接？ - 它如何获得中断？

Answer 1

Haskell 没有具体说明。正如 GHC 所实现的，有一个 IO 管理器，我相信它在后台使用 epoll。不过，所有这些都隐藏在抽象层后面，因此您不必担心它——只需生成一些线程并让它们阻塞在您想要读取的任何套接字上。另请参阅“How can I watch multiple files/socket to become readable/writable in Haskell?”。

编辑以解决您的第二个问题：不，运行时不应在阻塞调用时停止（无论是线程运行时还是非线程运行时）。阻塞的线程被存储起来，运行时切换到准备好执行的线程，就像您期望的那样。请注意，您必须使用 GHC 提供的调用才能做到这一点——自己手动使用 FFI 可以完全阻止非线程运行时。 this blog post of mine 总结了更多细节（跳过特定于 gtk 的“最佳实践”和“胆量”部分）。