Objective Caml - Пятница, 18 мая 2012

Objective Caml

ocaml@conference.jabber.ru

Пятница, 18 мая 2012< ^ >

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

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

GMT+4
[00:16:44] Sun][ вышел(а) из комнаты
[00:22:29] Typhon вошёл(а) в комнату
[00:38:46] ermine вышел(а) из комнаты
[00:45:19] tilarids вышел(а) из комнаты: Machine going to sleep
[00:52:10] Savik вошёл(а) в комнату
[01:18:28] bobry вышел(а) из комнаты
[01:19:07] Kakadu вышел(а) из комнаты
[02:59:40] ftrvxmtrx вышел(а) из комнаты
[03:01:44] ftrvxmtrx вошёл(а) в комнату
[03:47:37] letrec вошёл(а) в комнату
[04:04:02] gnusf вошёл(а) в комнату
[04:38:16] ftrvxmtrx вышел(а) из комнаты
[04:40:11] ftrvxmtrx вошёл(а) в комнату
[05:08:48] letrec вышел(а) из комнаты
[05:23:34] Savik вышел(а) из комнаты: Disconnected: session closed
[06:00:13] gnusf вышел(а) из комнаты
[06:01:01] gnusf вошёл(а) в комнату
[06:02:15] akovbovich вышел(а) из комнаты
[06:02:20] akovbovich вошёл(а) в комнату
[06:18:15] akovbovich вышел(а) из комнаты
[08:07:30] Typhon вышел(а) из комнаты
[08:34:09] tilarids вошёл(а) в комнату
[09:15:44] dzhon вошёл(а) в комнату
[09:26:02] Typhon вошёл(а) в комнату
[09:30:50] bobry вошёл(а) в комнату
[09:39:22] tilarids вышел(а) из комнаты: Machine going to sleep
[10:12:41] bobry вышел(а) из комнаты
[10:19:41] gnusf вышел(а) из комнаты
[10:20:29] gnusf вошёл(а) в комнату
[10:29:04] ftrvxmtrx вышел(а) из комнаты
[10:57:39] ermine вошёл(а) в комнату
[11:17:53] dzhon вышел(а) из комнаты: Replaced by new connection
[11:17:53] dzhon вошёл(а) в комнату
[12:22:05] ftrvxmtrx вошёл(а) в комнату
[12:23:40] tilarids вошёл(а) в комнату
[13:47:21] akovbovich вошёл(а) в комнату
[13:52:33] Kakadu вошёл(а) в комнату
[14:01:08] komar вышел(а) из комнаты
[14:03:29] komar вошёл(а) в комнату
[14:21:46] dzhon вышел(а) из комнаты
[14:21:47] dzhon вошёл(а) в комнату
[14:53:14] <Kakadu> Ёлки.
[14:53:37] <Kakadu> как кратко, по русски объяснить людям, что такое a -> b -> c ?
[14:55:56] Typhon вышел(а) из комнаты
[14:59:41] letrec вошёл(а) в комнату
[14:59:44] letrec вышел(а) из комнаты
[15:00:11] letrec вошёл(а) в комнату
[15:02:28] <gds> Kakadu: как a -> (b -> c), и дальше объясняй, что такое b -> c.
[15:08:15] komar вышел(а) из комнаты: Replaced by new connection
[15:08:16] komar вошёл(а) в комнату
[15:40:14] Typhon вошёл(а) в комнату
[15:41:38] komar вышел(а) из комнаты
[15:42:13] komar вошёл(а) в комнату
[15:49:52] Typhon вышел(а) из комнаты: Replaced by new connection
[15:50:12] Typhon вошёл(а) в комнату
[15:57:14] dzhon вышел(а) из комнаты: Replaced by new connection
[15:57:15] dzhon вошёл(а) в комнату
[16:04:16] Typhon вышел(а) из комнаты
[16:24:00] <Kakadu> ermine: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.31.7698
[16:30:01] <ermine> ашотам?
[16:30:39] <Kakadu> он хочет автоматически переделывать LL в LR
[16:31:59] <ermine> если лексер один и тот же, то не пофигу ли?
[16:32:44] <Kakadu> левая  рекурсия и откаты
[16:33:15] <Kakadu> откаты в CS смысле, не в бюрократическом.
[16:34:01] <ermine> просто cf ll и lr - двухфазовые парсинги, сначала токенизер, потом всё остальное
[16:34:09] komar вышел(а) из комнаты: Replaced by new connection
[16:34:10] komar вошёл(а) в комнату
[16:34:13] <ermine> а вот интересно посмотреть на lr однофазовый парсинг
[16:35:48] ermine в данный момент борется с мускулем и постгресом
[16:37:43] <ermine> Kakadu: ну для примера *abc* и **abc** (из markdown) распарсить в lr
[16:38:22] <ermine> Kakadu: кстати, а липлом ты сдал?
[16:38:26] <Kakadu> да я понял, что такое однофазный
[16:38:47] <Kakadu> текст надо дописать видимо к ближайшему вторнику.
[16:38:57] <Kakadu> в след. понедельник --- сицилианская защита
[16:41:38] <ermine> на сицилии?
[16:41:48] <Kakadu> Нет, в Питере
[16:41:54] <Kakadu> просто я как шахматист ввернуд
[16:41:57] <Kakadu> ввернул*
[16:42:27] <ermine> аа
[16:43:10] <gds> вас, студентов, лучше не сицилианскую защиту заставлять делать, а спартанскому отбору подвергать.  тоже где-то в южных европах, а результат, глядишь, был бы получше.
[16:44:34] <Kakadu> gds: да мне самому это уже надоело
[16:48:43] akovbovich вышел(а) из комнаты
[17:00:33] akovbovich вошёл(а) в комнату
[17:04:22] komar вышел(а) из комнаты: Replaced by new connection
[17:04:23] komar вошёл(а) в комнату
[17:18:05] ftrvxmtrx вышел(а) из комнаты
[17:31:37] dzhon вышел(а) из комнаты: Replaced by new connection
[17:31:38] dzhon вошёл(а) в комнату
[18:14:07] dzhon вышел(а) из комнаты
[18:22:46] Kakadu вышел(а) из комнаты
[18:48:44] akovbovich вышел(а) из комнаты
[19:06:27] akovbovich вошёл(а) в комнату
[19:08:39] Kakadu вошёл(а) в комнату
[20:40:43] akovbovich вышел(а) из комнаты
[20:54:32] <ermine> f[x]: ты вроде владеешь сокровенной тайной - как из ocaml-mysql сделать коннект к базе утфшным?
[21:01:26] Kakadu вышел(а) из комнаты
[21:06:59] ermine трудится над патчем к pa_macaque, который bluestorm предложил сделать
[21:08:46] letrec вышел(а) из комнаты
[21:16:29] <f[x]> set names utf8
[21:17:15] <ermine> из ocaml-mysql в exec послать?
[21:17:54] <ermine> не в exec. а что там для безответных команд
[21:17:58] <ermine> ща проверим
[21:20:45] <ermine> или таки exec
[21:23:28] <ermine> видимо получилось
[21:23:50] <ermine> убила сутки на то чтобы перекачать одну табличку в десяток полей разного типа
[21:24:31] <ermine> еще и с lwt/pgsql пришлось потупить на тему как оживить коннект после фатальной ошибки
[21:25:07] <ermine> а, вроде не получилось с set names utf8
[21:27:57] <gds> ermine: всё бсд виновата, которая гоим8-р.
[21:29:54] <ermine> gds: а в шелле в базе я вижу нормально
[21:30:18] <ermine> еще наверное алкоголь виноват, не знаю
[21:30:35] ermine пьет сливовое вино
[21:31:55] tilarids вышел(а) из комнаты: Machine going to sleep
[21:33:30] <ermine> хм
[21:33:42] <ermine> запустила прогу в другом шелле - ни одного экспшна
[21:33:59] <ermine> таки алкоголь и барабашки виноваты
[21:34:28] ermine подозрительно смотрит на gds
[21:35:32] <gds> ermine: а чо, я ничо: сливовое нормальное мне не попадалось, и вообще, плодово-ягодные по качеству в среднем хуже, если брать наш регион.
[21:38:30] <ermine> gds: лучше скажи как усконить всасывание таблички, если все равно надо проверять уникальность ключей?
[21:39:22] <gds> ermine: не надо ускорять, если меньше 10^5 записей, сильно не ускоришь.  Если же больше -- есть фокусы.
[21:39:27] <ermine> миллионных записей у меня нет
[21:39:45] <ermine> а первую табличку долго сосет
[21:40:36] <ermine> 138420 записей за несколько минут
[21:40:42] <ermine> ща с time запущу
[21:43:18] <ermine> а,  там еще пара полей через Calendar.from_unixfloat проходит, наверное тоже влияет
[21:43:59] <ermine> real    2m23.386s
[21:44:42] <ermine> gds: тормозит?
[21:54:45] <gds> ermine: можно и побыстрее, конечно.  Но главная часть тормозов, предполагаю, не в окамле.  Там ещё с транзакциями есть мудотня, разная для разных субд, там тоже шаманить нужно.  Но ради уменьшения времени в твоём случае -- даже лень что-то делать.  Тем более, это у тебя более-менее разовое ведь, не?
[21:56:17] <ermine> да я в курсе что в sql главный тормоз - это индекс
[21:56:45] <gds> ох неты.
[21:57:04] <gds> обычно в sql главный тормоз -- программист, не умеющий sql.
[21:57:27] <ermine> теперь бы понять хитрые типы блюсторма
[21:58:02] <gds> хитрые типы в окамле?  после coq?  удивительно.
[21:59:56] <ermine> ну там параметрические типы на параметрических типах, прочитать и осмыслить невозможно
[22:00:22] <gds> небось original syntax?  там слабочитаемо.
[22:02:56] <ermine> одно остается - вникать в ругательства компилятора и подгонять к ним результат
[22:04:47] komar вышел(а) из комнаты: Replaced by new connection
[22:04:47] komar вошёл(а) в комнату
[22:18:58] <ermine> у, ошибки победили, и оно скомпилилось
[22:19:02] <ermine> ща затестим-с
[22:28:50] <ermine> так, слабала, можно отправить блюсторму
[22:33:06] <ermine> komar: ты ведь спец в дарксе? как им оформлять патч?
[22:33:27] <ermine> в смысле darcs diff file с какими опциями запустить?
[22:33:39] <komar> *send
[22:33:48] <komar> -o file
[22:34:06] bobry вошёл(а) в комнату
[22:35:28] gds вышел(а) из комнаты: Replaced by new connection
[22:35:30] gds вошёл(а) в комнату
[22:37:57] <ermine> оно хочет каталог, а не филе
[22:38:05] <ermine> а, -o
[22:38:50] <ermine> а, там еще и добавить в репу надо
[22:38:55] <ermine> какие сложности
[22:39:36] <ermine> надо еще налить, чтобы не заплакать
[22:40:02] <komar> А тебе патч отправлять или кусок дифа?
[22:40:14] <komar> Если второе, то сама дифай и отправляй.
[22:43:41] <ermine> патч
[22:43:52] <ermine> но репа уже загрязнена патчем от блюсторма
[22:49:26] <ermine> странный патч оформился
[22:49:51] <ermine> туда влезли чужие патчи
[22:50:39] <ermine> а, под заголовком context
[22:51:00] <ermine> видимо helloworld! i'm darcs!
[22:58:32] <ermine> послала патч
[22:58:41] <ermine> теперь будем посмотреть что будет дальше
[23:09:23] tilarids вошёл(а) в комнату
[23:15:59] komar вышел(а) из комнаты: Replaced by new connection
[23:16:01] komar вошёл(а) в комнату
[23:18:54] f[x] вошёл(а) в комнату
[23:36:22] Sun][ вошёл(а) в комнату
[23:38:45] komar вышел(а) из комнаты
[23:39:50] komar вошёл(а) в комнату