Objective Caml - Вторник, 1 мая 2012

Objective Caml

ocaml@conference.jabber.ru

Вторник, 1 мая 2012< ^ >

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

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

GMT+4
[00:06:14] ermine вышел(а) из комнаты
[00:15:01] bobry вышел(а) из комнаты
[00:41:50] komar вышел(а) из комнаты
[00:44:45] komar вошёл(а) в комнату
[01:36:29] Kakadu вышел(а) из комнаты
[02:10:21] tilarids вошёл(а) в комнату
[02:33:27] tilarids вышел(а) из комнаты: Machine going to sleep
[02:45:08] Sun][ вышел(а) из комнаты
[02:52:06] Typhon вошёл(а) в комнату
[03:15:01] Typhon вышел(а) из комнаты
[03:23:50] gds вышел(а) из комнаты
[03:31:33] gds вошёл(а) в комнату
[05:31:31] komar вышел(а) из комнаты: Replaced by new connection
[05:31:31] komar вошёл(а) в комнату
[07:25:10] shaggie вошёл(а) в комнату
[07:43:34] shaggie вышел(а) из комнаты
[09:01:03] Typhon вошёл(а) в комнату
[09:01:21] Typhon вышел(а) из комнаты
[09:02:35] tilarids вошёл(а) в комнату
[09:08:33] shaggie вошёл(а) в комнату
[09:08:50] shaggie вышел(а) из комнаты
[09:28:42] tilarids вышел(а) из комнаты: Machine going to sleep
[09:49:19] ermine вошёл(а) в комнату
[10:41:35] tilarids вошёл(а) в комнату
[11:03:06] Kakadu вошёл(а) в комнату
[11:15:36] tilarids вышел(а) из комнаты
[11:15:44] tilarids вошёл(а) в комнату
[11:36:01] ftrvxmtrx вошёл(а) в комнату
[13:26:20] Sun][ вошёл(а) в комнату
[14:16:12] ftrvxmtrx вышел(а) из комнаты
[14:23:58] ftrvxmtrx вошёл(а) в комнату
[16:58:40] shaggie вошёл(а) в комнату
[17:08:17] shaggie вышел(а) из комнаты
[17:12:33] ftrvxmtrx вышел(а) из комнаты
[17:13:48] ftrvxmtrx вошёл(а) в комнату
[18:34:00] tilarids вышел(а) из комнаты: Machine going to sleep
[18:56:17] bobry вошёл(а) в комнату
[18:57:08] <bobry> gds: что там в х-ле через typeable?
[19:08:40] <gds> bobry: вот это: http://community.haskell.org/~simonmar/papers/ext-exceptions.pdf
[19:44:41] letrec вошёл(а) в комнату
[19:55:04] tilarids вошёл(а) в комнату
[20:19:26] letrec вышел(а) из комнаты
[20:22:55] letrec вошёл(а) в комнату
[20:46:24] komar вышел(а) из комнаты: Replaced by new connection
[20:46:24] komar вошёл(а) в комнату
[21:31:40] letrec вышел(а) из комнаты
[21:37:29] ftrvxmtrx вышел(а) из комнаты
[21:40:34] ftrvxmtrx вошёл(а) в комнату
[22:10:15] <bobry> тут SPJ разразился talkом про Cloud Haskell, если кому интересно http://skillsmatter.com/podcast/home/haskell-cloud/js-4179
[22:12:22] Typhon вошёл(а) в комнату
[22:14:06] <gds> bobry: в двух словах расскажешь?  ну, кроме классических прогонов, их я уже где-то слышал в течение n лет.
[22:18:03] Typhon вышел(а) из комнаты
[22:18:11] <bobry> ну там после первого получаса прикольное начинается
[22:18:28] <bobry> про то как они замутили сериализацию функций с замыканиями
[22:18:31] Typhon вошёл(а) в комнату
[22:21:12] Typhon вышел(а) из комнаты
[22:21:38] Typhon вошёл(а) в комнату
[22:22:00] <gds> и как замутили?
[22:23:27] <bobry> конечно же введением магического keyword'a static
[22:24:08] <bobry> который берет функцию без свободных переменных и говорит что она теперь Static (a -> b), а значения тайп класса Static сериализуются по указателю
[22:24:14] <bobry> не знаю конечно как это работает на практике
[22:24:19] Typhon вышел(а) из комнаты
[22:24:30] <gds> интересно другое.  представим реальную ситуацию: чуть разные исходники, сильно разные бинарники (гетерогенная среда, чо!).  куда идёт указатель?
[22:24:45] Typhon вошёл(а) в комнату
[22:24:51] <bobry> я не уверен что понимаю куда он идет даже в случае двух идентичных х-левеских рантаймов
[22:24:57] <bobry> тут явно нужно поддержка компелятора
[22:26:24] <bobry> gds: а у тебя в parvel'e как message passing работает?
[22:26:32] <bobry> у SPJ вон типизированные каналы есть
[22:26:56] Typhon вышел(а) из комнаты
[22:27:23] Typhon вошёл(а) в комнату
[22:28:14] <gds> у меня пока никак не работает.  Точнее, в прототипах кое-что есть, но мало.  Но уж точно, marshal там будет явно-включаемой опасной опцией, причём сознательно с No_closures, ну и кое-какую версионность думаю.
[22:28:40] <gds> детство насчёт типизированных каналов -- о да, это так похоже на академоту.
[22:29:34] Typhon вышел(а) из комнаты
[22:30:02] Typhon вошёл(а) в комнату
[22:30:04] <bobry> gds: поясни последнюю мысль?
[22:30:18] ftrvxmtrx вышел(а) из комнаты
[22:31:52] ftrvxmtrx вошёл(а) в комнату
[22:32:43] Typhon вышел(а) из комнаты
[22:33:09] Typhon вошёл(а) в комнату
[22:33:24] <gds> bobry: поясняю.  В случаях "сделать говно и впаривать его всем" вариант типизированных каналов -- очень даже хороший и годный.  Только не учитывает безопасность (например, могут быть какие-то левые данные отправлены туда), и, почти уверен, не учитывает то, что структуры данных меняются, и в случае наличия кластера с неодновременным обновлением имеем такую картину: тот, кто обновился, шлёт новые данные, которые не принимаются старыми программами, и либо неразумные ошибки, либо падения.
Мне же неинтересно такое детство -- если делать, то по-нормальному, либо не делать никак.  Но вот в последнее время мало задач требуют даже логической параллельности, не говорю уж "на много ядер" и "на много хостов", поэтому парвел спит.
[22:35:50] Typhon вышел(а) из комнаты
[22:36:16] Typhon вошёл(а) в комнату
[22:38:27] Typhon вышел(а) из комнаты
[22:38:55] Typhon вошёл(а) в комнату
[22:41:07] Typhon вышел(а) из комнаты
[22:41:34] Typhon вошёл(а) в комнату
[22:44:19] Typhon вышел(а) из комнаты
[22:48:26] Sun][ вышел(а) из комнаты
[22:51:43] Typhon вошёл(а) в комнату
[22:54:54] Typhon вышел(а) из комнаты
[22:55:20] Typhon вошёл(а) в комнату
[22:58:01] Typhon вышел(а) из комнаты
[23:15:20] tilarids вышел(а) из комнаты: Computer went to sleep
[23:39:56] komar вышел(а) из комнаты
[23:42:18] komar вошёл(а) в комнату