Objective Caml - Воскресенье, 6 февраля 2011

Objective Caml

ocaml@conference.jabber.ru

Воскресенье, 6 февраля 2011< ^ >

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

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

GMT+3
[01:09:08] arhibot вошёл(а) в комнату
[01:10:49] Kakadu вышел(а) из комнаты
[01:17:30] ermine вышел(а) из комнаты
[01:25:42] gds вышел(а) из комнаты
[01:38:35] ygrek вышел(а) из комнаты
[01:40:16] arhibot вышел(а) из комнаты
[02:41:26] komar вышел(а) из комнаты: Replaced by new connection
[02:41:27] komar вошёл(а) в комнату
[10:49:14] gds вошёл(а) в комнату
[11:10:02] Kakadu вошёл(а) в комнату
[11:33:11] arhibot вошёл(а) в комнату
[11:47:36] arhibot вышел(а) из комнаты: Replaced by new connection
[11:47:37] arhibot вошёл(а) в комнату
[11:56:29] ygrek вошёл(а) в комнату
[12:48:04] zert вошёл(а) в комнату
[13:02:25] ermine вошёл(а) в комнату
[13:08:27] arhibot вышел(а) из комнаты
[13:14:32] arhibot вошёл(а) в комнату
[13:14:44] arhibot вышел(а) из комнаты
[13:32:34] arhibot вошёл(а) в комнату
[13:34:36] arhibot вышел(а) из комнаты
[15:13:04] ygrek вышел(а) из комнаты: Replaced by new connection
[15:13:05] ygrek вошёл(а) в комнату
[15:27:19] Typhon вошёл(а) в комнату
[18:33:49] arhibot вошёл(а) в комнату
[18:42:29] arhibot вышел(а) из комнаты
[19:46:29] <gds> caml-list, "Since the environment is marshalled by value and code is marshalled by reference, this again makes an observable difference. I'd consider this a bug."
как по-английский будет "кагбэ"?  думал отписать что-то наподобие "компилятор кагбэ намекает, что маршаллить ссылки -- плохая идея", но не знаю, как красиво выразить.  Поэтому, видимо, забью.
[19:47:30] <zert> alleges?
[19:50:18] <ermine> gds: чо за идиома у тебя считать любой код ссылкой :)
[19:51:05] <ermine> все value тоже ссылки!
[19:51:11] <gds> zert: не, что-то не то при попытке разобраться со словом "alleges".  Оттенок явно не тот.  Поэтому, наверное, забью.
[19:51:34] <zert> "якобы"
[19:51:43] <gds> ermine: вот именно что ссылки!  А они их! -- представь себе! -- маршаллят!  Впустую!111
[19:52:13] <zert> compiler says that idea is bad
[19:52:39] <ermine> gds: не впустую, а недомаршалируют
[19:53:16] <ermine> zert: фраза для первоклашки
[19:53:36] <ermine> gds: "1" чем не код?
[19:54:14] <ermine> а код посложнее можно маршалировать через Ast :)
[19:54:50] <ermine> и наверняка его даже выполнить можно
[19:57:10] <gds> ermine: нельзя "домаршаллировать" или "перемаршаллировать" -- тут всегда будет лажа, если есть изменяемые значения и попытка присунуть значения, их содержащие, куда-то дальше.  Под разные случаи разное будет нужно: где-то нужно ссылки оставить ссылками на top-level module values, где-то их грабастать в результат (при восстановлении создавая новые ref cells например).  Потому и определяют маршаллинг на неизменяемых структурах.  Более того, даже неизменяемые функции тоже под вопросом.  Более того, даже циклические значения тоже под вопросом.  То есть, сложный вопрос.
[20:03:03] <ermine> надо юзать чистый код
[20:03:35] <ermine> типа let add a b = a + b и фсё
[20:05:40] <gds> кому надо?  Мне -- точно нет.  Я люблю грязь, связывание изменяющих и всё такое.
[20:06:10] arhibot вошёл(а) в комнату
[20:10:33] arhibot вышел(а) из комнаты
[20:19:27] arhibot вошёл(а) в комнату
[20:28:53] zert вышел(а) из комнаты
[20:38:48] komar вышел(а) из комнаты: Replaced by new connection
[20:38:49] komar вошёл(а) в комнату
[20:44:36] arhibot вышел(а) из комнаты
[21:20:40] arhibot вошёл(а) в комнату
[21:55:08] Typhon вышел(а) из комнаты
[22:33:20] <ygrek> "связывание изменяющих"
[22:36:42] ygrek вышел(а) из комнаты
[22:36:58] ygrek вошёл(а) в комнату
[22:46:26] <ermine> http://ocsigen.org/graffiti
[22:46:37] <ermine> блескЪ
[22:48:53] <ermine> оно всё целиком писано на камле
[22:49:54] <ygrek> целиком? целое слово graffiti в хтмл страничке? (больше у меня там ничего не показается :)
[22:51:08] arhibot вышел(а) из комнаты
[22:51:13] arhibot вошёл(а) в комнату
[22:51:34] <ermine> савсэм целиком
[22:51:47] <ermine> там прилагается туториал как писать графити
[22:52:48] ermine проигнорировала иронию ygreka
[23:45:42] Kakadu вышел(а) из комнаты
[23:58:06] Kakadu вошёл(а) в комнату