有没有针对C++生态系统的函数式语言？

Question

Java有Scala，.NET有F#。这两种语言都高度集成到各自的Java和.NET平台中。例如，类可以用Scala编写，然后用Java扩展。

是否存在与C++高度互操作的等效函数式语言？

Answer 1

啊，其他的东西。虽然这肯定不是您想要的，但C++中的template metaprogramming是纯函数的。

Answer 2

John Skaller的Felix语言旨在与C++进行互操作，并提供功能范例。

不过，这样做还是有问题的。函数式语言提供了一流的函数，允许创建闭包:从定义它们的环境中捕获并携带值的函数。这使得不可能静态地确定值的生命周期(因为闭包可能携带超出其作用域的值)，因此，实际上需要垃圾收集器，但C++不是垃圾收集。

Answer 3

C++没有Java或.NET意义上的生态系统，没有虚拟机，甚至没有运行时环境，只有一个高度专业化的标准库，在设计上不能在纯函数环境中很好地运行。C++甚至没有ABI标准。

考虑到所有的事情，我不知道你是什么意思。