谁能解释这个简单服务器代码所基于的评估模型？

Question

我可以在http://therning.org/magnus/archives/698上查找与Haskell联网的一些示例。 它可能只是一个简单的例子。

虽然我可以将其用作模板并且可以正常工作，但我还没有完全理解语义以及如何评估代码。 我可以看到，懒惰阻止了forever $ do块的不断评估，但是到底是什么迫使它进行评估呢？

Answer 1

懒惰在这里无关。 而且，也没有任何事情可以forever $ do “预防”这个问题。 它是无限评估的，实际上，您可以将其视为类似于通用命令性语言的while (true) 。 该服务器的实现围绕于accept serv_sock函数调用，在该调用上程序等待连接，从而同步阻止forever循环的执行，直到接收到该连接，然后执行应有的处理，然后再次循环。

这看起来似乎非常像一个标准的命令性程序，尽管区别在于告诉计算机如何处理每个表达式，而是由其他指令组成指令。 因此，您可以将main函数定义视为单个复合指令。

触发评估的事实是，您为该指令分配了名称main和类型签名IO () （在您的情况下可以得出）。 这样，您就可以告诉Haskell编译器将该指令视为程序的入口点，从而在程序启动时从该指令开始评估。