“现实世界”中的函数式技术

Question

作为一个狂热的函数式程序员，我总是对让更多的人进入函数式编程的精神感兴趣。因此，我通常会尝试解释FP会给其他人带来的好处，但遗憾的是，到目前为止还没有什么好运气。在这种讨论中经常出现的一个论点是，FP听起来真的很好，但实际上似乎只适用于有限的学术目的。这通常得到这样的观点的支持，即几乎没有一家公司使用函数式语言。

除了固有的鸡生蛋问题(我只知道两家公司在使用OCaml，我不认为其他语言的情况更好)之外，我不能给出任何实质性的论据来反对在公司中缺乏FP的使用。

然而，摆脱这种争论的一种方法通常是向他们展示来自FP的技术(尽管可能不是语言)已经成为主流，并且现在可能已经使他们受益。例如，因为我也使用了很多C++，所以我经常引用STL-Algorithm包，它完全是以函数的方式完成的，因为OOP不能很容易地分离数据结构和算法。另一个例子是git，它使用一种不可变的数据结构，非常类似于在任何FP语言中表示树的方式(实际上，除了到以前版本的反向链接之外，它是完全相同的)，因为这种数据结构提供了最简单和最快的持久性。

你能给出FP-techniques在野外使用的其他例子吗？

Answer 1

我认为高频交易就是一个例子。我确实认为有很多公司在使用Erlang。例如，根据我的记忆，Sergey Aleyniko被指控随身携带了属于高盛和萨克斯高频交易平台的Erlang代码。事实上，简街也在从事贸易。

对于Erlang，我进一步相信爱立信自己也在使用它。此外，我认为它经常用于电信领域的消息服务。只需在谷歌上搜索一下，例如Erlang Jobs。许多不同公司的FP相关工作回来了。