Objective Caml - Вторник, 13 апреля 2010

Objective Caml

ocaml@conference.jabber.ru

Вторник, 13 апреля 2010< ^ >

Конфигурация комнаты

Участники комнаты

GMT+4
[00:53:22] ermine вышел(а) из комнаты
[01:07:56] Typhon вышел(а) из комнаты
[07:18:04] digital_curse вошёл(а) в комнату
[07:21:46] iNode вышел(а) из комнаты
[08:01:39] iNode вошёл(а) в комнату
[10:05:51] Typhon вошёл(а) в комнату
[10:05:54] serp256 вошёл(а) в комнату
[11:32:16] ermine вошёл(а) в комнату
[11:57:22] olegfink вышел(а) из комнаты
[12:01:10] valexey_ вошёл(а) в комнату
[14:47:59] Typhon вышел(а) из комнаты
[17:06:03] iNode вышел(а) из комнаты
[17:18:14] Typhon вошёл(а) в комнату
[17:19:56] <gds> дамы и господа, понадобился jocaml/win32, но не на системных тредах, а на vmthreads либо ещё на чём-то, не вызывающем адских переключений контекстов.  Либо запиливать vmthreads падвендой, либо портировать jocaml под какую-нибудь lwt.  Я правильно понимаю?  Буду рад любым комментариям и дополнениям.
[17:58:52] iNode вошёл(а) в комнату
[18:01:29] sceptic вышел(а) из комнаты
[18:44:17] <Typhon> gds: а точно jocaml то понадобился? средставми ocaml, ocaml+lwt или еще что, нельзя обойтись?
[18:50:37] <gds> Typhon: вообще-то можно, но люди хотят культурно.  Чтобы "как ырланк", как минимум.  Ну а типизированные join calculus -- вообще нямочка.
То есть, хотят не решение конкретной задачи, а средство для решения подобных задач.
[18:54:47] <Typhon> ну "как ырланк" -- это OTP, в первую очередь, а не мессаги слать, как я осознаю. а я тут еще Хоара начитался, так и вообще каналы пользую в последнее время для общения тредов :)
но вообще жокамль подвенду -- наверное круто. но вот у меня вопрос -- как оно с окамлолибами взаимодействует? задача то на конкурентности не ограничивается, наверное, и нужно будет пользовать либы всякие. в свете этого может быть удобнее ocaml + lwt попробовать как основу взять для некоего "фреймворка"?
[18:56:00] <gds> а можешь вкратце рассказать / дать ссылку почитать про OTP?  не приходилось вникать ни разу.
[18:56:57] <gds> новый jocaml крут в отношении взаимодействия с либами -- он бинарно-совместим с окамлом (последняя его версия совместима с 3.11.2).
[18:58:00] <gds> про ocaml+lwt для фреймворка -- идея хорошая.  Но фишки joint calculus -- круты, поэтому как бы не оказалось, что буду с нуля рисовать тот же jocaml, но криво и под ocaml+lwt.
[18:58:52] <Typhon> сразу скажу, что не эксперт, просто читаю потихоньку про ырланк. возможно ерлангисты более точное определение дадут, но я воспринимаю OTP -- как набор этих их поведений и инфраструктуры для разработки/развертывания приложений  (это исходя из того что прочел). Прочитать можно в OTP design principles, наверное (http://ftp.sunet.se/pub/lang/erlang/doc/design_principles/users_guide.html) плюс в оффдоке эрланга есть. и какие-то блогопосты, которые ща не найду видимо
[19:01:11] <Typhon> gds: а как с либами все происходит? я просто ставлю с помощью jocamlfind'а какого-нибудь либы, и потом соот-но собираю с помощью него же? или я должен код, исользующий жокамль и код использующий библиотеки разделять, компилировать отдельно и собирать потом?
[19:03:22] <gds> пока мне того, что по ссылке, хватит; буду читать про OTP.
А либы -- просто линкуешь и всё.  Там нет jocamlfind.  Зато есть опция -use-jocaml в ocamlbuild.  Видимо, через ocamlbuild и рекомендуют собирать.
[19:04:13] <valexey_> gds: ну, OTP например, точнее сам ерланг, позволяет обновление модулей на лету. без перезагрузки сервиса и вообще без приостоновки обслуживания клиентов.
[19:04:33] <valexey_> вообще сложно провести четкую грань между ерлангом и OTP
[19:07:37] <valexey_> одно плавно перетекает в другое ;-)
[19:20:29] serp256 вышел(а) из комнаты
[19:25:09] <Typhon> gds: кстати, если там всяких NDA нет было бы круто читать про проект этот. или можыт даже поучавствовать :) но использовать в одном файлике батарейки и жокамль получится? )
[19:41:35] valexey_ вышел(а) из комнаты
[20:32:09] <gds> Typhon: спросил сразу же, человек молчит пока.  Я ж тупой, я спрошу ещё раз, только попозже.  Батарейки вроде получатся, как я понимаю.
В первую очередь, вообще, попробую в тот же оверблд втащить jocaml -- пока в локальной репке или, простигосспади, в mq.
[20:34:23] Mon вышел(а) из комнаты
[21:48:31] Typhon вышел(а) из комнаты
[22:16:29] iNode вышел(а) из комнаты
[22:28:21] Kakadu вошёл(а) в комнату
[22:56:56] Typhon вошёл(а) в комнату
[22:56:58] serp256 вошёл(а) в комнату
[23:22:18] sceptic вошёл(а) в комнату
[23:23:13] serp256 вышел(а) из комнаты