严格的函数式语言，可以编译成本机代码

Question

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

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

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

Answer 1

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

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

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