haskell - 选择与 LLVM 一起使用的函数式编程语言时，有哪些权衡？

Question

我们暂时假设 C++ 不是一种函数式编程语言。如果你想使用 LLVM 为后端编写一个编译器，并且你想使用函数式编程语言及其与 LLVM 的绑定(bind)来完成你的工作，据我所知，你有两个选择:Obj​​ective Caml 和 Haskell。如果还有其他人，那么我也想知道。

我不是在征求主观意见，所以请不要给它加上主观标签。我想对此做出自己的决定，但我不确定我是否知道所有的权衡是什么。所以，StackOverflow 来救援了。有哪些权衡？

Answer 1

OCaml 或 Haskell 都是不错的选择。为什么不查看每种语言的 LLVM 教程？ OCaml 的 LLVM 教程在这里:http://llvm.org/docs/tutorial/OCamlLangImpl1.html

Haskell 如今势头强劲，但 OCaml 也有很多优秀的解析库，包括 PEG 解析器生成器 Aurochs , Menhir ，以及 GLR 解析器生成器 Dypgen 。另请查看 pcl 上的演示文稿，这是一个用于 OCaml 的单子(monad)解析器组合器库(例如 Haskell 的 Parsec)，其中有一些比较 Haskell 和 OCaml 方法的好信息:http://osp.janestreet.com/files/pcl.pdf

有人会说，惰性使 Haskell 在解析方面具有优势，但 OCaml 中也存在惰性。