Раскрашиватель Окамл кода

[thedeemon]

В связи с возросшей в последнее время популярностью Окамла в ЖЖ, решил поделиться своим раскрашивателем кода.
Скармливаешь ему текст на Окамле и получаешь готовый HTML для вставки в текст поста ЖЖ. Никаких CSS отдельно настраивать не надо.

Краткий вариант:

Более полный вариант (с настройкой цветов):
http://ocolor.thedeemon.com/

Comments

[zamotivator.livejournal.com]

Кстати,

1) Какую литературу посоветуешь по Ocaml помимо уже упомянуты у меня в комментах книг?
Reference manual, development application with ..., introduction to ocaml, etc.
Типа прочёл Страуструпа, теперь хочу Саттера, Мейерса, Александреску.
Purely Functional? Читаюцца.
Харрисоновский курс? Перевод прочитан. (типа аналог "Дизайн и эволюция С++").

2) Какие есть библиотеки? Batteries, Extlib - so on?
Хочется чего-то качества (кода и документации) http://boost.org/

3) а) Куда копать, чего курить, как познать дао Ocaml?
б) Какие программы практики ради кроме парсер-комбинаторов must make to known?

4) А где бы найти хорошие экзамплы и туториалы по Ocaml-отладчику и профайлеру? Ещё интересны succes-story.

[thedeemon.livejournal.com]

Я бы и сам с удовольствием послушал ответы на эти вопросы.
Из книг-учебников маст рид "development applications..", остальные виденные не впечатлили.
В библиотеках я не разбираюсь, т.к. во-первых для моих задач обычно хватает ExtLib, а во-вторых я сижу под Windows, где с библиотеками все непросто.
Дао Окамла периодически проблескивает в его почтовой рассылке (caml-list digest). Там мне попадались хорошие объяснения про CPS, про монады, про оптимизацию и еще много интересного но непонятного из применения теории типов. Там же и success stories бывают нередко.

[zamotivator.livejournal.com]

Ой, а можно линки? На архив рассылки и запомнившиеся succes story.
Кстати, всякие монады и прочие приблуды - это же хаскелльные заморочки? *косит под незамутнённого, типа не знает что концепты* Какой от них прок в Хаскелле?

[lionet.livejournal.com]

Монады и стрелки мы применяем в Erlang и OCaml, хотя они взяты из ТК через Haskell.

[thedeemon.livejournal.com]

Рассылка и архив - первые отсюда:
http://caml.inria.fr/resources/forums.en.html

На конкретные сообщения прям щас ссылок не дам, может попозже найду.

Самые известные success story применения Окамла в коммерции - компании Lexifi и Jane Street Capital. В рассылке очень много ученых (физики, биологи, химики), применяющих язык для численных расчетов.

Про "заморочки" тоже попозже отвечу.

[lionet.livejournal.com]

Introduction to OCaml (2008) — самая короткая из них (284 страниц), начинать имеет смысл именно с неё. Потом Development Applications можно прочитать (758 страниц), а референсом на язык пользоваться как справочником по библиотекам удобнее всего.

[zamotivator.livejournal.com]

Спасибо

Fjavac: a functional Java compiler

[e-mmortal.livejournal.com]

В качестве примера чего-то более-менее сложного можно глянуть на http://www.cis.upenn.edu/~stevez/stse-work/javac/
Fjavac is a Java 5 compiler implemented in the functional language OCaml. Currently the compiler can parse and pretty-print all JDK 1.5 files (including generics and wildcards). Basic type checking and bytecode compilation are implemented, but supports for generics (type inference and capture conversion) are still underway.