Раскрашиватель Окамл кода
Jul. 13th, 2009 05:47 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
thedeemonВ связи с возросшей в последнее время популярностью Окамла в ЖЖ, решил поделиться своим раскрашивателем кода.
Скармливаешь ему текст на Окамле и получаешь готовый HTML для вставки в текст поста ЖЖ. Никаких CSS отдельно настраивать не надо.
Краткий вариант:
Более полный вариант (с настройкой цветов):
http://ocolor.thedeemon.com/
Скармливаешь ему текст на Окамле и получаешь готовый HTML для вставки в текст поста ЖЖ. Никаких CSS отдельно настраивать не надо.
Краткий вариант:
Более полный вариант (с настройкой цветов):
http://ocolor.thedeemon.com/
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
no subject
Date: 2009-07-13 01:26 pm (UTC)no subject
Date: 2009-07-13 01:31 pm (UTC)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.
no subject
Date: 2009-07-13 02:04 pm (UTC)Из книг-учебников маст рид "development applications..", остальные виденные не впечатлили.
В библиотеках я не разбираюсь, т.к. во-первых для моих задач обычно хватает ExtLib, а во-вторых я сижу под Windows, где с библиотеками все непросто.
Дао Окамла периодически проблескивает в его почтовой рассылке (caml-list digest). Там мне попадались хорошие объяснения про CPS, про монады, про оптимизацию и еще много интересного но непонятного из применения теории типов. Там же и success stories бывают нередко.
no subject
Date: 2009-07-13 02:08 pm (UTC)Кстати, всякие монады и прочие приблуды - это же хаскелльные заморочки? *косит под незамутнённого, типа не знает что концепты* Какой от них прок в Хаскелле?
no subject
Date: 2009-07-13 05:14 pm (UTC)no subject
Date: 2009-07-13 05:16 pm (UTC)no subject
Date: 2009-07-13 05:50 pm (UTC)http://caml.inria.fr/resources/forums.en.html
На конкретные сообщения прям щас ссылок не дам, может попозже найду.
Самые известные success story применения Окамла в коммерции - компании Lexifi и Jane Street Capital. В рассылке очень много ученых (физики, биологи, химики), применяющих язык для численных расчетов.
Про "заморочки" тоже попозже отвечу.
no subject
Date: 2009-07-13 06:04 pm (UTC)Fjavac: a functional Java compiler
Date: 2009-07-14 08:39 pm (UTC)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.
no subject
Date: 2013-07-17 08:38 am (UTC)Не подскажете, что установить, с чего начать?
no subject
Date: 2013-07-17 10:26 am (UTC)http://overbld.sourceforge.net/
В качестве IDE рекомендую OcaIDE - это плагин для эклипса. Инструкции по установке тут:
http://www.algo-prog.info/ocaide/
После установки и переключения в ocaml perspective, там в настройках нужно указать пути к окамловским бинарникам, после чего можно собирать проекты одной кнопкой и иметь кое-какой intellisense, подсказки по функциям и отображение типов наведением мыши. Из вариантов сборки проекта я предпочитаю OCamlMakeFile (выбирается при создании нового проекта).
Ну а в качестве учебника можно взять классику:
http://caml.inria.fr/pub/docs/oreilly-book/html/
Там и про Graphics все расписано с примерами.