iphone - CへのHaskell/MLのようなコンパイラはありますか？

Question

人々はSchemeでiPhone用のゲームを書いています。（一部の）SchemeコンパイラはCにコンパイルされるため、Objective-Cとの混合やXCodeとの統合は簡単でした。

ARM/iOSバックエンドを有効にするHaskellおよびOCamlコンパイラのパッチを知っています。しかし、それらは非公式で実験的/不安定に見えます。

私はSchemeの動的型付けよりも静的haskell/ML型型システムを好みます。Scheme /Gambit-Cと同じように使用できるようにCコードを生成する安定したML/SML / Haskellコンパイラはありますか？

Answer 1

MLは手伝えませんが、 JHCを見たことがありますか？JHCはポータブルCをターゲットにしたプログラム全体を最適化するHaskellコンパイラであり、iPhoneのサポートは

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

〜/ .jhc/targets.iniで

Haskellの詳細については、 HaskellwikiとJHCマニュアルを参照してください。

Answer 2

（このツールチェーンが特にiPhoneで試行されているかどうかはわかりません。）

MLTonは、プログラム全体を最適化するStandardMLコンパイラです。-keep gコンパイル時にMLTonに渡すことで、Cコードを維持できます。例：

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

また、ARMコードをネイティブに生成することもできます。

Answer 3

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

フルハスケル'98。もちろん、多くのライブラリは現在、より高度なghcのみの機能に依存しています。しかし、Haskell '98は、汎用プログラミングに十分な能力を備えています。