C'è un compilatore Haskell / ML-simile a C?

Question

Hanno scritto giochi per l'iPhone in Scheme. Perché (alcuni) Schema-compilatori compilare fino a C, è stato facile da miscelare con Objective-C e integrarsi con XCode.

I am consapevoli di patch per Haskell e OCaml compilatori per abilitare ARM / iOS-backends. Ma quelli sembrano non ufficiale e sperimentale / instabile.

I preferisce un / ML-tipo tipo-sistema statico Haskell sopra la tipizzazione dinamica di Scheme. C'è una stabile ML / SML / Haskell compilatore che genera codice C in modo che possa essere utilizzato in maniera simile a come Schema / Gambit-C?

Answer 1

Non può aiutare con ML, ma hai guardato JHC ? JHC è un intero programma di ottimizzazione Haskell compilatore che gli obiettivi C portatile e supporto per iPhone possono essere aggiunti mettendo

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

in ~ / .jhc / targets.ini

Maggiori informazioni Haskell è sul Haskell wiki e il manuale JHC.

Answer 2

(io non sono certo che questo toolchain è stata tentata in particolare sul eppure IPhone.)

MLTon è un intero programma di ottimizzazione standard ML compilatore. È possibile mantenere attorno al codice C passando -keep g a MLTon alla compilazione, per esempio:

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

Si può anche generare il codice ARM nativamente .

Answer 3

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

completa Haskell '98. Naturalmente molte librerie ora contare su più avanzato GHC sola caratteristiche. Ma Haskell '98 è abbondanza in grado per la programmazione di uso generale.