是什么杀死了哈斯克尔，也可能杀死了拉斯特

2030年初，我在我的档案里发现了这篇文章。从我今天了解到的情况来看，我认为在我写作的那一刻，这是非常有洞察力的。我觉得它应该出版，因为它可以教会我们，铁锈开发人员，如何防止那种悲惨的故事再次发生。

杀死哈斯克尔的东西也可能杀死拉斯特。我为什么要在这种情况下提到哈斯克尔呢？哈斯克尔和拉斯特有很深的关系。不是因为拉斯特没有HKTS就是哈斯克尔。(你们中的一些人知道这意味着什么，其余的人会想很长一段时间)。“铁锈”的风格在许多方面与哈斯克尔的风格相似。从某种意义上说，Rust是Haskell的转世，有一点类似于C的语法，数量非常少。

曾经有一段时间，哈斯克尔是值得关注的语言。在本世纪头十年末到2010年代，哈斯克尔是每个人都希望能用来编程的语言，但没有人做到了，可能除了少数人。有一些非常令人印象深刻的项目是在哈斯克尔完成的。有大量的金融项目已经完成。有一些工资单项目是写进去的。但从像Haskell这样的纯函数式语言的角度来看，最令人印象深刻的可能是Pandoc，它有一个Haskell核心。它给了“哈斯克尔太慢”或“哈斯克尔就是不能做真正的事情”的整个概念一记耳光。当然可以，它确实做到了。

发生了什么？为什么哈斯克尔突然，相当突然地停了下来？它现在肯定不是活的了。没有人再考虑哈斯克尔的重大项目了。这里谁是GHC Haskell程序员？我猜想有一两个人在空中举手。GHC哈斯克尔方言已经有点成为一种学术语言了。没有人真正考虑过任何严肃的事情。

Haskell在当时处于函数式编程的前沿。正是这种语言在某种程度上表征或概括了FP的真正含义。还有其他语言是函数式的，但它们只是一种函数式的语言。当然，我说的是Scala或JavaScript之类的语言。这是2000年代中期的两个主要竞争对手。Scala、JavaScript，最终是Golang和C++的追随者。哈斯克尔领导了他们。这些语言从哈斯克尔那里学到了很多。现在，任何使用Scala的人都知道for-complect和许多库的语法直接来自Haskell世界。

它的统治方式是当时任何其他语言都无法做到的。从技术上讲，它做出了裁决。有一种生产力，其衡量标准可能是5倍。一组开发人员编写和发布应用程序的速度比Scala应用程序或C++应用程序快五倍。在我们的世界里，五倍是相当重要的。

哈斯克尔的统治方式也刚刚开始掌握。你们中有多少人在使用单体？但是我在JavaScript中使用的是Monad，在Rust中我有一点Monad。在围棋中，我可以用单子做令人惊叹的事情。事情是这样的，哈斯克尔人在2000年代中期就有过这样的经历。早在我们大多数人想到单子之前，就有非常强大的单子和代数数据类型。

哈斯克尔以一大堆有趣的方式统治，但它还是死了。是什么杀死了它？

我要在这里用一个词，我不想让你误解这个词。你可以把这个词误认为是“邪恶”，或者把这个词理解为“无知”。但它甚至不完全是“无知”的。我要用的词是“傲慢”。

哈斯克尔社区里有一种傲慢的情绪。不是邪恶的那种，而是告诉他们他们在某种程度上更好的那种。他们使用的工具不知何故更好。他们所做的事情不知何故更好。有些人认为胜利是不可避免的，他们的态度很傲慢。这不是打你耳光的那种“你们这些愚蠢的高郎程序员”的傲慢，尽管也有很多这样的事情。相反，这是一种权力的傲慢。因为哈斯克尔人正在写一个非常强大的代码，所以他们确实有一只老虎在尾巴上。这是一种强大的编译器，一种强大的语言，他们知道他们可以创造奇迹。

然而，这还不够。一些阴险的事情，一些微妙的事情发生了。这导致了他们的分离，他们搁置了行业的其余部分。社区外编写日常程序的人开始看着哈斯克尔人正在做的眼角：“嗯，…。哈斯克尔的人似乎不太喜欢我们，我想我们不会喜欢他们的。“。

你们中的一些人可能还记得2000年代中期关于Reddit的讨论。有一群人在那里。他们在那里谈论很酷的数学问题。在那些演讲中，他们经常窃笑围棋等其他语言。没什么大不了的，没什么坏事，他们只是在窃笑：“呵呵，主流啊哈！”但那时候我是个主流的戈朗人！我不喜欢那样。在接下来的几年里，我一直在应对语言战争。我当时对他们说：“我们真的想在Reddit打一场语言战吗？”有趣的不是他们在窃笑什么，因为他们可能有权这么做。有趣的是我的反应。我的反应是防御性的。我的反应是“好吧，伙计们，去做你们哈斯克尔的事吧，但我才是真正能完成工作的人。”

这是当时成立的一个有趣的部门。而且它相当普遍。哈斯克尔社区中有一种态度，再说一遍，这不是一种邪恶的态度，也不是出于恶意。但是有一种态度说：“你知道，我们的工具太棒了，我们的语言太棒了，我们不需要遵守规则。我们可以做点别的。我们不需要和其他人说话。我们不需要做其他类型的节目。“。哈斯克尔的人不想做常规的节目。他们不想与公司数据库打交道。他们不想处理已经演变了20年的可怕模式。这真是令人反感。相反，他们找到了一些方法来做一些事情，比如使用范畴论和依赖类型。他们在自己周围筑起了一堵墙，他们选择了生活在技术泡沫中。与世隔绝的与世隔绝的。

我要在这里定义一个词。这是一个你们都知道的词。而这个定义只是众多定义中的一个。如果你愿意，你可以找到这个词的其他定义。这个词是“专业精神”。我要把它定义为“行使权力的纪律”。在我们的工具中，在我们的语言中，我们有一定的力量。但行使这一权力需要纪律。它不仅是工具使用的纪律，也是与整个社区关系的纪律。它是这样一门学科：是的，它是一个强大的工具，但强大的工具杀伤力非常快。它们以令人惊讶的方式杀人，所以我们要小心。我们不会诋毁那些稍微不愿意使用我们强大的智能工具的人。

让我们重新定义“进步”的意思是：“仅仅因为我们可以做一件事，并不一定意味着我们必须做那件事”。

所以杀死哈斯克尔的是狭隘，无法满足进取号的需要。

Haskell在某些受限制的情况下表现出色，但它的能力有限，或者更确切地说，它的用户希望解决企业的一般问题。这些人中有一种纯洁。他们不想走出家门，把自己带入实际工作的泥土中。那里有一种“我们与他们”的不洁感觉，而我们这些在边界另一边的人明显地感受到了这一点。狭隘是一种“嘿，你”的态度。这是一种在屏幕上放一条大横幅的方式，上面写着“嘿，你，我要按我的方式做，把你们其他人都操了”。这是一种表达“我们在自己的小领域是伟大的，而世界其他地方可以下地狱”的方式。

我想拯救铁锈和这个社区正在进行的所有其他奇妙的作品，使其免于同样的灭亡。坦率地说，我不认为它会沿着这条路线走下去。首先，我认为社区更有活力，规模更大，我相信不再存在“我们与他们”的对立面。我们这些“强大的C++荷尔蒙程序员”已经心软了。每个人都在环顾四周，想：“你知道，这些生锈的东西可能有什么特别之处。”但不管怎样，这是什么？怎样才能避免拉斯特重蹈哈斯克尔的覆辙呢？

第一个是纪律。纪律，特别是在文档中。这是一种技术纪律，可以防止坎宁安勋爵的问题发生。它正在编写文档。以上帝的名义，这是一件很难做的事。您只需要编写代码即可。但你应该写那该死的文件。我的意思是，你们都已经发现坐下来说“我要写一份很好的文档，这样其他人就可以很容易地使用我的工作”是多么困难。

谦逊的专业精神可能会阻止死亡，就像发生在哈斯克尔身上的那种死亡一样。“我们和他们”的态度。不，我知道有一些有趣的广告，比如“Mac对PC”之类的事情。“我是Rails，我是Java”。我不认为这有什么坏处，除非你把它看得太严重。除非你建起这堵墙。或者除非他们建造隔离墙作为回应。

最后一件事是接受解决“肮脏”问题。解决可怕图式的问题。我们将不得不坐下来说“不，我们会处理这件事的”。如果我们最终要生存下来，我们必须解决每个人都有的问题。否则，其他人将会解决这些问题。

记住本世纪头十年可能是最强大和最有影响力的语言的命运。这种语言是纯函数范式的开端，它影响了我们目前正在做的很多事情。这种语言的命运几近被遗忘。而使用它并喜爱它的人不得不跳到斯卡拉谋生，这几乎要了他们的命。

我们有很好的铁锈语言工具。我们可以通过制造混乱来杀死它，我们可以通过对它的傲慢来杀死它，我们可以通过忽视进取号来杀死它。我建议我们不要走那条路。

正如人们可能猜到的那样，这不是一篇散文。这是R.Martin的以下谈话的文字记录，并做了一些替换(Smalltalk-&>Haskell，Ruby-&>Rust，等等)。你可以自由地从中得出任何结论。