¿Hay un compilador de Haskell / ML-como a C?

Question

Tienes escrito juegos para el iPhone en el esquema. Debido a que (algunos) del Esquema compiladores compilan a C, que era fácil de mezclar con Objective-C y se integran con XCode.

consciente de parches para Haskell y OCaml compiladores para permitir ARM / iOS-backends. Pero los que aparecen no oficial y experimental / inestable.

Yo prefiero un / ML-tipo-tipo sistema de Haskell estáticos en el tipado dinámico del Esquema. ¿Hay un establo ML / SML / Haskell compilador que genera código C para que pueda ser utilizado de una manera similar a la de los Regímenes / Gambit-C?

Answer 1

No se puede ayudar con ML, pero ¿ha mirado JHC ? JHC es un todo-programa de optimización del compilador de Haskell que los objetivos C portátil y soporte para el iPhone se pueden añadir al poner

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

en ~ / .jhc / targets.ini

Más información en la Haskell es Haskell wiki y el manual de JHC.

Answer 2

(no estoy seguro de que esta cadena de herramientas se ha intentado específicamente en el iPhone todavía.)

MLton es un todo-programa de optimización del compilador ml estándar. Usted puede mantener alrededor de su código C pasando a -keep g MLton durante la compilación, por ejemplo:

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

También puede generar código ARM forma nativa .

Answer 3

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

completa Haskell '98. Por supuesto, muchas librerías ahora dependen más avanzada GHC características exclusivas. Pero Haskell 98 es capaz montón de programación de propósito general.