Y at-il un compilateur comme ML Haskell / à C?

Question

Les gens écrit Have jeux pour l'iPhone dans le schéma. Parce que (certains) Scheme compilateurs C jusqu'à compilent, il était facile de mélanger avec Objective-C et d'intégrer avec XCode.

Je suis conscient de patches pour les compilateurs Haskell et OCaml pour activer ARM / iOS-backends. Mais apparaissent les officieux et expérimental / instable.

Je préfère un type système haskell static / ML type sur le typage dynamique Scheme. Y at-il un compilateur ML / SML / Haskell stable qui génère du code C-afin qu'il puisse être utilisé de la même manière que le schéma / Gambit-C?

Answer 1

Je ne peux pas aider avec ML, mais avez-vous regardé JHC ? JHC est un programme tout en optimisant le compilateur Haskell que les cibles C portable et support iPhone peuvent être ajoutés en mettant

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

dans ~ / .jhc / targets.ini

Plus d'informations Haskell est sur le Haskell wiki et le manuel JHC.

Answer 2

(je ne suis pas certain que cette toolchain a été tenté spécifiquement sur l'iPhone encore.)

MLTon est un programme entier l'optimisation de compilateur Standard ML. Vous pouvez garder autour de votre code C en passant -keep g à MLTon à la compilation, par exemple:

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

Il peut aussi générer du code ARM natif .

Answer 3

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

Full Haskell '98. Bien sûr, beaucoup libs comptent désormais plus avancés GHC seulement dispose. Mais Haskell '98 est capable beaucoup pour la programmation à usage général.