История изменений

У OCaml он легко усекается http://www.algo-prog.info/ocapic/web/index.php?id=ocapic весь рантайм (с GC !) это около 1000 строк на ассемблере плюс интерпретатор байт кода в 2500 строк.

Мне что-то кажется, код вот на этом окамле не будет с кодом на обычном окамле иметь почти ничего общего. Т.е. это отдельный диалект с совершенно отдельной практикой написания кода. Я не очень понимаю этот онанизм на добавление поддержки экзотических таргетов в какой-то язык, если почти вся кодовая база этого языка ни разу не применима.

У хачкелла с 6502 можно использовать огромную библиотеку, благо она останется вся только на стадии компиляции, а в бинарик уйдёт довольно маленький выхлоп без необходимости в каком-либо рантайме в принципе.

но у хаскеля это все же не то, понятно что DSL но по сути ближе просто к компилятору-транслятору.

Да нет, это как раз именно то что нужно. Хачкель точно так же в Verilog транслируют, например. Получается весьма офигенно.

У OCaml он легко усекается http://www.algo-prog.info/ocapic/web/index.php?id=ocapic весь рантайм (с GC !) это около 1000 строк на ассемблере плюс интерпретатор байт кода в 2500 строк.

Мне что-то кажется, код вот на этом окамле не будет с кодом на обычном окамле иметь почти ничего общего. Т.е. это отдельный диалект с совершенно отдельной практикой написания кода. Я не очень понимаю этот онанизм на добавление поддержки экзотических таргетов в какой-то язык, если почти вся кодовая база этого языка ни разу не применима.

У хачкелла с 6502 можно использовать огромную библиотеку, благо она останется вся только на стадии компиляции, а в бинарик уйдёт довольно маленький выхлоп.

но у хаскеля это все же не то, понятно что DSL но по сути ближе просто к компилятору-транслятору.

Да нет, это как раз именно то что нужно. Хачкель точно так же в Verilog транслируют, например. Получается весьма офигенно.