Objective Caml - Среда, 10 октября 2012

Objective Caml

ocaml@conference.jabber.ru

Среда, 10 октября 2012< ^ >

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

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

GMT+4
[00:10:10] Sun][ вышел(а) из комнаты
[00:26:42] Sun][ вошёл(а) в комнату
[01:01:39] Sun][ вышел(а) из комнаты
[01:47:33] Kakadu вышел(а) из комнаты
[02:00:04] Typhon вышел(а) из комнаты: Replaced by new connection
[02:00:29] Typhon вошёл(а) в комнату
[02:17:06] Typhon вышел(а) из комнаты
[02:18:51] Typhon вошёл(а) в комнату
[03:54:08] ketrec вошёл(а) в комнату
[04:36:13] ketrec вышел(а) из комнаты
[10:39:26] dzhon вошёл(а) в комнату
[12:12:59] ermine вошёл(а) в комнату
[12:40:59] dzhon вышел(а) из комнаты: Replaced by new connection
[12:41:04] dzhon вошёл(а) в комнату
[12:47:43] tilarids вышел(а) из комнаты: Machine going to sleep
[13:05:25] komar вошёл(а) в комнату
[13:10:04] tilarids вошёл(а) в комнату
[13:38:04] Kakadu вошёл(а) в комнату
[13:49:45] Typhon вышел(а) из комнаты
[14:10:12] <f[x]> почему камлодок игнорит тэги @param
[14:42:16] Typhon вошёл(а) в комнату
[14:51:54] <Typhon> gds:     я тут упомянул, что знаю людей, которые на coq'е в продакшен пишут, генерируя окамль потом. поступили встречные вопросы, "а что пишут" и "какие плюсы". кое-что по логам наскрёб, но может сможешь дополнить и вкратце отчитаться по этой теме? типа, насколько сложнее писать, велик ли профит и что собственно пишетца. (если есть псто с этим, можно невозбранно ткнуть туда меня)
[15:36:03] ketrec вошёл(а) в комнату
[16:08:16] <tilarids> Typhon, gds и мне, и мне интересно
[16:09:01] <f[x]> так gds и расскажет всем свой competitive advantage
[16:09:14] <f[x]> эдак все пхпшники начнут на коке сайты писать - что тогда?
[16:09:31] <Typhon> техносингулярность? :)
[16:09:53] <Typhon> ну и я ж прошу типа порекламировать, а там он и видео-уроки продавать сможет!
[16:10:17] <f[x]> бинго!
[16:10:26] <tilarids> на коке? не начнут. Тут себя заставить на окамле писать не получается :)
[16:54:08] <gds> пришёл "до терминала".  через десяток-другой минут -- расскажу.  видимо в птсо.
[17:06:17] <gds> а я вас обманул, хехе.  Обстоятельный рассказ займёт, как я сейчас прикинул, достаточно времени, а мне скоро валить на баранкокрутильную лекцию.
[18:53:03] dzhon вышел(а) из комнаты: Replaced by new connection
[18:53:04] dzhon вошёл(а) в комнату
[19:07:20] Kakadu вышел(а) из комнаты
[19:16:02] dzhon вышел(а) из комнаты
[19:34:15] ketrec вышел(а) из комнаты
[19:45:16] Kakadu вошёл(а) в комнату
[21:19:02] tilarids вышел(а) из комнаты: Machine going to sleep
[21:48:25] ftrvxmtrx вышел(а) из комнаты
[22:05:40] ermine вышел(а) из комнаты
[22:09:15] tilarids вошёл(а) в комнату
[22:09:39] Sun][ вошёл(а) в комнату
[22:18:20] ftrvxmtrx вошёл(а) в комнату
[22:42:51] f[x] вошёл(а) в комнату