Objective Caml - Четверг, 30 июня 2011

Objective Caml

ocaml@conference.jabber.ru

Четверг, 30 июня 2011< ^ >

gds установил(а) тему: Камль -- http://caml.inria.fr | Логи -- http://chatlogs.jabber.ru/ocaml@conference.jabber.ru/ | Светлое будущее -- http://camlunity.ru/ | Нефильтрованное настоящее -- https://github.com/camlunity/kamlo_wiki | Портер прошлое -- http://gdsfh.dyndns.org/kamlo/ | Верблюды грязи не боятся! | release crap, enjoy NIH | репортьте баги официальным дилерам | ocaml мёртв, move on

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

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

GMT+4
[00:36:06] Typhon вошёл(а) в комнату
[01:07:03] vladimir.chujkov вошёл(а) в комнату
[01:12:19] ermine вышел(а) из комнаты
[01:23:55] gds вышел(а) из комнаты
[01:40:11] vladimir.chujkov вышел(а) из комнаты
[01:47:03] Typhon вышел(а) из комнаты
[02:04:25] komar вышел(а) из комнаты: Replaced by new connection
[02:04:26] komar вошёл(а) в комнату
[02:30:27] zert вышел(а) из комнаты
[03:27:49] zinid вошёл(а) в комнату
[03:48:17] komar вышел(а) из комнаты: Replaced by new connection
[03:48:17] komar вошёл(а) в комнату
[04:07:20] ftrvxmtrx вышел(а) из комнаты
[04:33:35] komar вышел(а) из комнаты: Replaced by new connection
[04:33:35] komar вошёл(а) в комнату
[04:53:06] komar вышел(а) из комнаты: Replaced by new connection
[04:53:07] komar вошёл(а) в комнату
[05:19:41] komar вышел(а) из комнаты
[05:19:58] komar вошёл(а) в комнату
[09:00:01] gds вошёл(а) в комнату
[09:21:08] ftrvxmtrx вошёл(а) в комнату
[10:51:57] komar вышел(а) из комнаты: Replaced by new connection
[10:51:57] komar вошёл(а) в комнату
[10:55:08] Typhon вошёл(а) в комнату
[11:02:51] ftrvxmtrx вышел(а) из комнаты
[11:19:17] ermine вошёл(а) в комнату
[11:37:35] bobry- вошёл(а) в комнату
[11:56:35] zert вошёл(а) в комнату
[12:24:36] ftrvxmtrx вошёл(а) в комнату
[12:41:19] vladimir.chujkov вошёл(а) в комнату
[12:43:02] vladimir.chujkov вышел(а) из комнаты
[13:00:04] gds вышел(а) из комнаты
[13:48:23] zinid вышел(а) из комнаты
[14:18:16] gds вошёл(а) в комнату
[14:22:48] Typhon вышел(а) из комнаты
[14:22:58] Typhon вошёл(а) в комнату
[15:13:34] Digimmortal вошёл(а) в комнату
[15:47:31] komar вышел(а) из комнаты: Logged out
[15:47:43] komar вошёл(а) в комнату
[15:55:10] komar вышел(а) из комнаты: Replaced by new connection
[15:55:10] komar вошёл(а) в комнату
[17:14:48] ftrvxmtrx вышел(а) из комнаты
[17:14:50] ftrvxmtrx вошёл(а) в комнату
[17:39:10] ftrvxmtrx вышел(а) из комнаты
[17:39:13] ftrvxmtrx вошёл(а) в комнату
[18:04:10] ftrvxmtrx вышел(а) из комнаты
[18:42:37] <Digimmortal> http://book.pdfchm.net/handbook-of-practical-logic-and-automated-reasoning/9780521899574/
[18:42:52] <Digimmortal> если вдруг мозги почесать не о что
[19:13:43] <ermine> gds: когда ты нас, ламеров, наконец научишь камлевым аппликативным функторам?
[19:16:05] <gds> ermine: какие нафиг ламеры ещё.  сейчас как раз ломаю dbi, куда всовываю их.  как скомпиляется-потестируется тестовая хрень -- сразу опубликую про них.
а вот с итератами -- не знаю, как быть в dbi.  Если бы всякая обработка записей из БД была потоковой (опционально с ранней остановкой), не думал бы даже.  А так -- не знаю пока.
[19:16:32] <bobry-> ткните меня кто нибудь в какой нибудь простой пример хорошо написаного камля?
[19:18:15] bobry- вышел(а) из комнаты
[19:19:44] <ermine> let add a b = a + b - уже хорошо написанный камль
[19:21:36] <ermine> gds: тут надо знание матчасти о том, что в dbi вообще может быть выполнено блоками или уровнями, я знаю только имитацию begin .. commit на стороне приложения
[19:21:40] <gds> а подскажите про dbi.  в каких случаях может понадобиться работа с результатом запроса (с набором данных от реляционки), которую нельзя выполнить, грубо говоря, fold'ом по записям набора данных?  нужны живые пример.
[19:23:15] <ermine> ты собираешься имитировать вложенные запросы?
[19:23:55] <ermine> gds: бери сульцю, бери его бредогенератор и попробуй оптимизировать его :)
[19:23:57] <gds> я -- нет, но даже для их имитации хватит fold'а.
дело в том, что я использовал "курсоры" таки, но больше от недостатка других средств и от привычки.
[19:24:15] <ermine> там засада с оптимизацией фолда
[19:25:35] <ermine> проблема решалась переводом из sql в gdbm и простыми хэшами, которых надо хранить в памяти для ускорения
[19:26:03] ermine так и поленилась применить достижения f[x] в этом плане
[19:27:47] <Typhon> gds: а разве в крайнем случае фолдом нельзя сделать массив, например, и как угодно его потом сношать?
[19:28:48] <gds> Typhon: можно, но бывает и больше 16М записей на 32битной машине, и бывает, что записи не помещаются в память.
[19:29:02] <gds> но обычно таки можно.
[19:30:13] <Typhon> я не могу представить себе ситуацию, когда больше 16М записей кому-то понадобились в месте, где их нельзя фолдом обработать :-)
[19:30:52] <gds> точнее, про "не помещаются" проедем, fold же, и переформулирую: когда бывает так, что записей из субд дохрена (по количеству либо по объёму), и не получается их обработать потоково?  (и когда не получается переложить дело на БД -- сформировав временную таблицу и выбирая по нужным условиям, например.)
[19:32:14] <gds> тоже не могу представить сходу.  потому и спрашиваю.  обычно воображение у меня слишком хорошее, всю лажу вижу.
[20:01:11] Digimmortal вышел(а) из комнаты
[22:46:04] komar вышел(а) из комнаты: Replaced by new connection
[22:46:04] komar вошёл(а) в комнату
[23:01:42] abiogenesis вошёл(а) в комнату
[23:02:46] abiogenesis вышел(а) из комнаты
[23:15:28] Typhon вышел(а) из комнаты
[23:38:55] ftrvxmtrx вошёл(а) в комнату
[23:47:29] gds вышел(а) из комнаты