Objective Caml - Вторник, 22 февраля 2011

Objective Caml

ocaml@conference.jabber.ru

Вторник, 22 февраля 2011< ^ >

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

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

GMT+3
[00:06:17] ermine вышел(а) из комнаты
[00:12:17] Kakadu вышел(а) из комнаты
[00:37:28] superbobry вышел(а) из комнаты
[00:55:24] superbobry@jabber.ru вошёл(а) в комнату
[00:55:37] <superbobry@jabber.ru> товарищи, а в окамле нет хаскелевского $ ?
[00:57:39] <Typhon> http://gdsfh.dyndns.org/kamlo/InfixOperators
[00:57:51] <Typhon> ocaml -- это diy-kit %)
[00:58:30] <superbobry@jabber.ru> да-да, похоже на то :)
[01:39:25] arhibot вошёл(а) в комнату
[01:42:15] Typhon вышел(а) из комнаты: Replaced by new connection
[01:42:28] Typhon вошёл(а) в комнату
[02:23:40] arhibot вышел(а) из комнаты
[02:23:51] ygrek вышел(а) из комнаты
[02:31:41] zert вышел(а) из комнаты
[02:34:08] Typhon вышел(а) из комнаты: Replaced by new connection
[02:34:17] Typhon вошёл(а) в комнату
[02:48:29] Typhon вышел(а) из комнаты
[03:31:14] komar вышел(а) из комнаты
[06:45:19] ftrvxmtrx вышел(а) из комнаты
[06:49:41] ftrvxmtrx вошёл(а) в комнату
[09:44:33] Typhon вошёл(а) в комнату
[09:52:59] <Typhon> superbobry@jabber.ru: https://github.com/ocaml-batteries-team/batteries-included  или http://code.google.com/p/ocaml-extlib/ поставь, жизнь проще станет.
[10:24:18] superbobry@jabber.ru вышел(а) из комнаты
[10:34:17] f[x] вошёл(а) в комнату
[10:41:00] ygrek вошёл(а) в комнату
[10:44:00] gds вошёл(а) в комнату
[11:02:27] gds вышел(а) из комнаты
[11:15:14] gds вошёл(а) в комнату
[11:48:32] ermine вошёл(а) в комнату
[11:56:38] gds вышел(а) из комнаты
[12:00:44] gds вошёл(а) в комнату
[12:02:16] <gds> интересно, кому в голову могло прийти ддосить нашу уютненькую вику?  я её пока отключу на пару часиков.
[12:08:09] <f[x]> ддос? с разных ip?
[12:08:49] <gds> да, нетстат показывал весьма разбросанные по миру хостнеймы.
[12:11:56] Kakadu вошёл(а) в комнату
[12:15:53] <Kakadu> мне тут приходит в голову такая идея. Было бы круто, если бы оксигеновские сервисы могли себя специфицировать в xml, чтобы из можно было трогать через UDDI... по приколу так сказать
[12:15:53] Kakadu вышел(а) из комнаты
[12:16:00] Kakadu вошёл(а) в комнату
[12:18:15] argent_smith вошёл(а) в комнату
[12:27:35] zert вошёл(а) в комнату
[12:33:36] argent_smith вышел(а) из комнаты: See you later.
[12:35:27] ftrvxmtrx вышел(а) из комнаты
[12:36:32] Kakadu вышел(а) из комнаты
[12:44:52] f[x] вышел(а) из комнаты
[12:45:19] zert вышел(а) из комнаты
[12:45:25] f[x] вошёл(а) в комнату
[12:45:51] zert вошёл(а) в комнату
[12:49:26] zert вышел(а) из комнаты
[13:21:56] ftrvxmtrx вошёл(а) в комнату
[13:25:28] zert вошёл(а) в комнату
[13:36:38] zert вышел(а) из комнаты
[13:36:47] zert вошёл(а) в комнату
[13:43:33] komar вошёл(а) в комнату
[14:42:42] Kakadu вошёл(а) в комнату
[14:48:59] gds вышел(а) из комнаты
[15:22:28] gds вошёл(а) в комнату
[15:57:03] Typhon вышел(а) из комнаты: Replaced by new connection
[15:57:04] Typhon вошёл(а) в комнату
[16:19:12] ygrek вышел(а) из комнаты
[16:19:18] ygrek вошёл(а) в комнату
[16:21:29] <Kakadu> gds: А что тебя сподвигло писать эранг на камле?
[16:21:35] <Kakadu> эрланг*
[16:21:36] iNode вышел(а) из комнаты
[16:25:04] Kakadu вышел(а) из комнаты: I'm happy Miranda IM user. Get it at http://miranda-im.org/.
[16:25:29] Kakadu вошёл(а) в комнату
[16:26:59] Kakadu вышел(а) из комнаты
[16:30:35] ygrek вышел(а) из комнаты
[16:35:02] Kakadu вошёл(а) в комнату
[17:10:32] <ftrvxmtrx> erlang на ocaml'e?
[17:15:41] <gds> то, что мне платят за строго- и статически-типизированный код, но текущая задача "чище" решается через message passing.
[17:16:31] <gds> Kakadu: ^
[17:21:15] zert вышел(а) из комнаты
[17:23:32] gds вышел(а) из комнаты
[17:39:30] zert вошёл(а) в комнату
[17:42:38] iNode вошёл(а) в комнату
[17:46:15] gds вошёл(а) в комнату
[19:07:55] <gds> кажется начинает вырисовываться общая идея message passing'а.  Будут процессы с типом type process 'i = 'i -> IO.m unit, тьюринг-полные и всё такое.  Будет возможность послать сообщение, если можешь его сформировать и если известно, какому оно процессу, value send : process 'i -> 'i -> IO.m unit, ну или типа того.  Будет специальный тип type destination 'o = 'o -> IO.m unit, позволяющий "вернуть взад" значение.  А "сервера", которые нужно будет синхронно опрашивать, будут иметь тип type server 'i 'o = process ('i * destination 'o).  Соответственно, вызов будет value call : server 'i 'o -> 'i -> IO.m 'o.
Давайте критику.
[19:26:41] Typhon вышел(а) из комнаты
[19:48:40] Kakadu вышел(а) из комнаты
[21:00:53] Kakadu вошёл(а) в комнату
[21:00:53] Kakadu вышел(а) из комнаты
[21:01:04] Kakadu вошёл(а) в комнату
[21:01:26] Kakadu вышел(а) из комнаты
[21:01:32] Kakadu вошёл(а) в комнату
[21:01:43] <f[x]> gds: давай свой овербльд, на нормальном камле всё ок
[21:02:15] <f[x]> и кстати - в нативном линке говоришь всё ок?
[21:02:16] <gds> f[x]: что именно "всё"?  dllunix.dll один раз загружается?
[21:02:22] <f[x]> угу
[21:02:26] <f[x]> и dllbigarray
[21:02:37] <gds> в нативном ошибка не вылазит, да.
[21:03:00] <f[x]> давай свой рантайм (ocamlrun + stublibs)
[21:03:02] <gds> как именно дать -- выложить dll{unix,bigarray}.dll наверное ок?
[21:03:08] <f[x]> угу
[21:03:37] <gds> ocamlrun не патчен, имхо две дллки будет достаточно, но, если нет, сообщи.  Ща выложу.
[21:03:44] <f[x]> ок
[21:05:00] f[x] убежал, опять завтра
[21:05:05] <gds> в рот мне ноги!
[21:05:07] <f[x]> (sry)
[21:05:16] <gds> в dllbigarray.dll таки вкомпилен код из unix.
[21:05:18] <f[x]> sorry в смысле
[21:05:20] <f[x]> га га
[21:05:26] gds дебилоид
[21:05:33] <f[x]> рассказывай
[21:06:10] <gds> unixsupport.h видимо инклудится в bigarray'евские .c/.h и содержит данные.
[21:06:42] <gds> ну теперь-то понятно, когда я в фаре по f3 поглядел отладочные сообщения.
Благодарю за помощь в решении этой проблемы.  Серьёзно.
[21:27:46] <gds> что самое обидное -- сам запихнул unixsupport.o в список линкуемых объектников.
[21:43:05] <ermine> Kakadu: как там ocsigen у тебя продвигается?
[21:55:07] <gds> мда, а без unixsupport.o имеем
ocamlopt.opt -for-pack CamomileLibrary  -I internal -I public -I toolslib -I . -o tools/parse_unidata.opt bigarray.cmxa str.cmxa toolslib.cmxa tools/parse_unidata.cmx
** Cannot resolve symbols for D:/overbld-312/ocaml/lib\libbigarray.a(mmap_win32.o):
_caml_win_struct_fd
обратим внимание на строку компиляции -- никаких отсылок к "unix".
в худшем случае, если оставлять как есть, получается хреново: либо вкомпиливать unixsupport.o внутрь, либо менять компиляцию всего, что использует bigarray, но не использует findlib (так как в bigarray/META чотко стоит "requires = "unix"").
или может надо объявить это дело как "импортируемое"?  не понимаю, как правильно сделать.
[21:55:36] <Kakadu> ermine:
[21:55:41] <Kakadu> стоп
[21:55:44] <Kakadu> оставить
[21:55:49] <Kakadu> отставить*
[21:56:44] <Kakadu> ну я почитал немного мануал. Попугался от слов косервис. Всё-таки название несколько дикое
[21:57:14] <Kakadu> Вообще хочется понять в какую сторону двигается оксиген и что к нему в ближайшее время надо написать
[22:04:44] <gds> Kakadu: слегка некорректный вопрос есть.  Цель использования ocsigen -- именно "что-то к нему написать"?
[22:05:34] <Kakadu> к сожалению пока да. Но кажется изначально цель изучения кмла была такая же
[22:05:41] <Kakadu> камла*
[22:08:15] ftrvxmtrx вышел(а) из комнаты
[22:21:56] ermine лазит то на сайт с друпалом, то на свою поделку, чтобы сравнивать их "протоколы" и подогнать свою поделку до "протокола" друпала
[22:22:04] <ermine> забавно
[22:51:08] <gds> знатоки lwt, подскажите, правильно ли я понимаю.  Если хочется на lwt нарисовать запуск параллельных (в смысле lwt) процессов (с ожиданием их завершения) и всё обернуть в Lwt.t, то делаем Lwt.join список >>= fun () -> дождалися!11  А если без Lwt.t и с игнорированием, то Lwt.ignore_result, и оно где-то там у себя запускает.  Это так?
И вопрос вдогонку: а если хочется запустить параллельно процесс без его ожидания, но "в монаде" (в пределах типа Lwt.t), то можно без проблем использовать тот же Lwt.ignore_result?
[22:53:06] <gds> а вот насчет Lwt.{wait,task} -- так и ниасилил, как с их помощью запускать "параллельные" lwt-процессы.
[22:58:44] <gds> вроде Lwt.wait -- такой вот аналог первого чёрного ящика, описанного Козьмой Прутковым в афоризме "Щёлкни кобылу по носу -- она вильнёт хвостом".  То есть, "прибинди к waiter'у хрень, и она будет вызвана с нужным значением, когда разбудят wakener".  То есть, грубо говоря, это такой пайп в юниксовом смысле слова.  И где его использовать -- ну хз.  Код в lwt_mvar.* изучал, но не просветлился пока.
[23:25:15] superbobry вошёл(а) в комнату
[23:32:45] superbobry вышел(а) из комнаты
[23:33:03] superbobry вошёл(а) в комнату
[23:38:21] ftrvxmtrx вошёл(а) в комнату