llvm可以编译函数式语言写的代码吗？

OwnWaterloo

严格的说， 不行。 llvm只能编译它自己那个语言（叫啥名忘了），或者它的另一个中间语言bit code。

llvm和其他语言（假设叫L并且有很多函数式编程语言的特性）之间的关系是：
1. L语言的编译器将L程序编译到llvm的语言或bitcode —— 如果L打算用llvm的话
2. llvm再把上面的结果编译到机器代码
编译L语言并不是llvm的工作而主要是L编译器自己的工作。

至于如何做， 前面就有haskell利用llvm做后端的例子。
更简单点的例子， 比如 http://matt.might.net/articles/cps-conversion/ 这个。 将程序经过一系列变换后只剩下函数与函数调用， 然后就可以利用llvm作为后端产生机器代码了。