Есть ли компилятор Haskell/ML-like для C?

Люди создали игры для iPhone на схеме, Поскольку (некоторые) компиляторы Scheme компилируются до C, его легко смешивать с Objective-C и интегрировать с XCode.

Я знал патчи для Haskell и OCaml компиляторы для включения ARM/iOS-бэкендов. Но они кажутся неофициальными и экспериментальными/нестабильными.

Я предпочитаю статическую систему типа haskell/ML-type для динамической типизации схемы. Существует ли стабильный компилятор ML/SML/Haskell, который генерирует C-код, так что его можно использовать так же, как Scheme/Gambit-C?

Ответ 1

Я не могу помочь с ML, но вы посмотрели JHC? JHC - это компилятор Haskell, оптимизирующий всю программу, который нацелен на переносимую поддержку C и iPhone, добавляя

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

в ~/.jhc/target.ini

Дополнительная информация Haskell находится в Haskell wiki и руководстве JHC.

Ответ 2

(Я не уверен, что эта инструментальная цепочка была предпринята специально для IPhone.)

MLTon - это универсальный компилятор стандартной ML-оптимизации. Вы можете оставить свой код C, передав -keep g в MLTon при компиляции, например:

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

Он также может генерировать ARM-код изначально.

Ответ 3

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

Полный Haskell '98. Конечно, многие библиотеки теперь полагаются на более продвинутые функции ghc. Но Haskell'98 обладает множеством возможностей для программирования общего назначения.