haskell - 使用 IO monad 编写大部分代码可以吗

Question

我正在尝试使用 Haskell 开发一个聊天服务器。

有很多有用的工具，例如 TChan、TSkiplist、forkIO ...等，但事实证明我的大部分工具代码写在IO monads和unsafePerformIO里面，听起来效率很低。

这样做可以吗？或者 haskell 不是用于此目的的正确工具吗？

Answer 1

作为一般规则，尝试首先将代码编写为纯函数，而不用担心数据来自哪里 - 只需假设它在那里。

接下来将纯函数包装在 IO 中，以提供纯函数数据并将结果放在某处。在聊天应用程序中发生很多这样的事情是正常的! IO monad 的效率一点也不低，只是我们更喜欢保留尽可能多的代码，因为这是很好的设计 -将数据处理与 IO 分开。聊天应用程序不会对其获取的数据进行大量计算，因此拥有大量 IO 代码是可以的。

我认为坚持使用 IO monad 肯定比使用 unsafePerformIO 更好，因为 unsafePerformIO 有点将其结果呈现为纯数据。我可能想使用它从配置文件中获取常量，但我从未真正这样做过，而且如果您大量使用 IO monad 的话就没有意义。它被称为不安全是有原因的! Petr Pudlák 在下面的评论中提出了很好的建议。

我听说 Haskell 的 monad 被描述为 best imperative programming language在里面世界。我可以对这个描述吹毛求疵，但我同意这种观点，是的，坚持使用 haskell 。 Haskell 擅长您使用它进行的编程。