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

Question

人々 持ってる 書かれています ゲーム スキームのiPhone用。 （一部の）スキームコンパイラがCにコンパイルされているため、Objective-Cと簡単に混合してXcodeと統合するのは簡単だったからです。

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

スキームの動的タイピングよりも、静的なHaskell/MLタイプのタイプシステムが好きです。 C-Codeを生成する安定したML/SML/Haskellコンパイラがあり、スキーム/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コンパイラ全体のプログラムです。合格して、Cコードを維持できます -keep g 編集時のMltonへ、例：

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

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

Answer 3

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

フルハスケル'98。もちろん、多くのLIBは現在、より高度なGHCのみの機能に依存しています。しかし、Haskell '98は汎用プログラミングに能力があります。