是否有CO的Haskell/ML样编译器？

Question

人们 有 书面 游戏 对于计划中的iPhone。因为（某些）方案编译器将其编译到C，因此很容易与Objective-C混合并与Xcode集成。

我是 知道的 的 补丁 为了使Haskell和Ocaml编译器启用ARM/IOS背书。但是这些似乎是非正式的，实验性/不稳定的。

我更喜欢静态的haskell/ml型类型系统，而不是方案的动态键入。是否有稳定的ML/SML/HASKELL编译器生成C代码，以便以类似于Schemion/Gambit-C的方式使用它？

Answer 1

我忍不住ML，但是您看过 JHC？ JHC是一个针对便携式C的Haskell编译器的全程功能优化，可以通过放置来添加iPhone支持

[iphone]
cc=arm-apple-darwin-gcc
merge=le32

在〜/.jhc/targets.ini中

更多的Haskell信息在 Haskell Wiki 和JHC手册。

Answer 2

（我不确定该工具链已经在iPhone上进行了专门尝试。）

MLTON 是整个程序优化标准ML编译器。您可以通过通过 -keep g 到汇编时，例如：

c:/Program Files (x86)/MLton/bin/mlton.bat" -verbose 1 -keep g test.sml

它也可以生成手臂代码 本地.

Answer 3

NHC98： http://www.haskell.org/nhc98/

Full Haskell '98。当然，现在许多LIB都依赖于更高级的仅限GHC功能。但是Haskell '98足够有能力通用编程。