functional-programming - 可编译为本机代码的严格函数式语言

Question

最近我开始研究函数式语言，以使我的应用程序的一些算法部分更可靠。当然，我碰到了 Haskell。但它的懒惰为我准备了太多的惊喜。有时简单的事情变得非常非常缓慢。

所以我想知道是否有一种语言可以用来编写函数式的小算法，但没有不必要的懒惰，这会导致更多的问题，然后有帮助。

程序应编译成Win32/64原生代码（最好是dll），并具有与C++相当的性能。

Answer 1

OCaml可能是最接近 Haskell 的，但它是严格且不纯的。它是ML的继任者。

OCaml、ML 和 Haskell 都可以在任何通用平台上编译为机器码。

不过，根据我的经验，一旦你了解它的工作原理，懒惰通常是一个很棒的功能。