iphone - programar - ¿Hay un compilador similar a Haskell/ML en C?

crear un compilador desde cero

Question

La gente have escrito games para iPhone en Scheme. Debido a que (algunos) compiladores de esquemas compilan hasta C, fue fácil mezclarlos con Objective-C e integrarlos con XCode.

Soy aware de los patches para los compiladores Haskell y OCaml para habilitar ARM / iOS-backends. Pero esos parecen no oficiales y experimentales / inestables.

Prefiero un tipo de sistema de tipo haskell / ML estático a la tipificación dinámica de Scheme. ¿Existe un compilador ML / SML / Haskell estable que genere un código C para que pueda usarse de forma similar a Scheme / Gambit-C?

Answer 1

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

MLTon es un programa completo que optimiza el compilador ML estándar. Puede mantener alrededor de su código C pasando -keep g a MLTon en 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 de natively .

Answer 2

No puedo ayudar con ML, pero ¿has mirado a JHC ? JHC es un compilador de Haskell optimizado para todo el programa que se enfoca en C portátil, y el soporte para iPhone se puede agregar al poner

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

en ~ / .jhc / targets.ini

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

Answer 3

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

Haskell completo ''98. Por supuesto, muchas bibliotecas ahora se basan en características más avanzadas de solo ghc. Pero Haskell ''98 es bastante capaz de programar para propósitos generales.