为什么 Haskell 有 -- 作为注释的语法？

Question

为什么 Haskell 有 -- 作为注释的语法？我只是想知道Haskell设计中这种注释语法的决定背后是否有什么有趣的故事。（仅此而已。如果这种问题不是为 Stack Overflow 准备的，我会删除它。）

Answer 1

对于历史 Haskell 设计问题，最好的参考是 Hudak、Hughes、Peyton Jones 和 Wadler 的“Haskell 的历史：对类的懒惰”论文。这是电子副本：https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/history.pdf

第 4.6 节讨论了注释，并有以下有趣的注释：

这些评论引起了委员会的广泛讨论，瓦德勒后来制定了一条法则来描述如何将精力分配给各个主题：语义的讨论量是语法的一半，语法的讨论量是词汇语法的一半，词汇语法的讨论量是词汇语法的一半。就像注释的语法一样。这有点夸张：对邮件档案的审查表明，超过一半的讨论涉及语义，而中缀运算符和布局引发的讨论多于评论。尽管如此，它准确地反映了委员会成员对底层细节持有强烈的看法。

它继续描述注释语法，尽管我没有看到--选择的任何具体原因。我个人的想法是，这样您就可以用完整的虚线分隔程序的两个部分，并且它在语法上是有效的，同时看起来像一个使用整行作为分隔符以获得类似效果的常规文档。

据我所知，还有一些关于鸟迹的评论已经过时了。最后，我认为这或多或少是一个任意的选择。但正如上面的引文所示，显然围绕它进行了大量讨论。