针对LLVM的功能语言

Question

是否有任何针对LLVM的语言:

• 是静态类型
• 使用类型推断
• 是功能性的(即lambda表达式,闭包,列表原语,列表推导等)
• 有一流的面向对象功能(继承,多态,mixins等)
• 有一个复杂的类型系统(泛型,协方差和逆变等)

Scala就是所有这些,但只针对JVM.F#(在某种程度上是C#)是大多数(如果不是全部),但仅针对.NET.什么类似的语言针对LLVM？

Answer 1

有一个针对LLVM 的Haskell(GHC)后端.

您也可以尝试使用F#通过Mono-LLVM.

此外,VMKit项目在LLVM之上实现JVM和.NET CLI; 它仍处于早期阶段,但一旦成熟,您可以将它与F#或任何面向JVM的功能语言(Scala,Clojure等)一起使用

Answer 2

我不确定这些进展有多远,但它们可能值得添加到列表中:

LLVM的Scala - https://github.com/greedy/scala/ LLVM的
木材 - https://bitbucket.org/capitrane/timber-llvm
LLVM的Mono - http://www.mono-project.com/Mono_LLVM