Functional programming 使用函数式语言编写的系统编程项目（OS、DB、文件系统、游戏、服务器）的示例？

我对函数式编程的思想很感兴趣，但我遇到的每一个实质性的项目示例都是一个简单的输入->输出转换（比如编译器）

---

有人知道任何系统项目吗？我真的很想看看它是怎么做的。这些例子不一定是生产水平或实际性能的竞争力-我只是在寻找一些实质性的东西。例如，100k+行。

我认为编译器通常被视为系统软件。另外，Ericson为其创建Erlang的系统也应该符合要求（尽管我不认为这些系统是开源的，所以我想这在您可以查看的示例方面对您没有帮助）。然后，FP语言在金融领域相对流行，我认为这种软件也可以作为系统使用。同样，不是开源的。RabbitMQ也需要Erlang作为依赖项。不过，我并不确定RabbitMQ的用途是什么——整个RabbitMQ是在Erlang中还是只是一个子组件。也不确定RabbitMQ是用什么编写的。但可能值得研究。