LINUX.ORG.RU
Форум — Development  

Haskell или Ocaml для компилятора


0

0
Доброго времени суток. В качестве предстоящей бакалаврской хочу попробовать себя на ниве компилятора строения. Писать планируется либо на Haskell (есть какой-то опыт) или на Ocaml (совсем не знаком). Какой из языков этих языков лучше подходит с трудом представляю.

Плюс в сторону Ocaml - наличие Zoo как хорошего примера.

Компилировать планируется в байт код какой-нибудь ВМ. Есть необходимость реального времени, какие для этого лучше посмотреть?

← программирование под ARM
[C++?] Серьезный вопрос. →
http://llvm.org/docs/tutorial/ - про реализацию языка на окамл

про учебники по окамлу и хаскелю - первый номер журнала ПФП

ott ★★★★★
()
>Плюс в сторону Ocaml - наличие Zoo как хорошего примера

есть ещё как минимум Tiger:

http://www.cs.princeton.edu/~appel/modern/ml/project.html (SML)

http://www.cs.uu.nl/wiki/HUT/WebHome (Haskell)

>Есть необходимость реального времени, какие для этого лучше посмотреть?

смотри жадную кодогенерацию (или кодогенерацию без использования промежуточного представления) - для JIT, как правило, используется что-то подобное

в плане Haskell есть Pugs (Perl6), есть Hiccup (Tcl), есть вот:

http://hackage.haskell.org/packages/archive/pkg-list.html#cat:compiler

jtootf ★★★★★
()
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.
← программирование под ARM
Development
[C++?] Серьезный вопрос. →