Objective Caml - Понедельник, 13 декабря 2010

Objective Caml

ocaml@conference.jabber.ru

Понедельник, 13 декабря 2010< ^ >

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

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

GMT+3
[00:20:57] serp256 вошёл(а) в комнату
[00:30:33] gds вышел(а) из комнаты
[00:37:27] serp256 вышел(а) из комнаты
[01:00:08] arhibot вышел(а) из комнаты
[01:09:35] ygrek вышел(а) из комнаты
[01:13:48] ermine вышел(а) из комнаты
[01:24:04] Kakadu вышел(а) из комнаты
[01:24:04] <zert> http://sorhed.livejournal.com/536907.html?thread=3517003#t3517003
[02:45:53] komar вышел(а) из комнаты
[03:11:10] zert вышел(а) из комнаты
[03:53:38] Typhon вышел(а) из комнаты
[05:54:12] iNode вышел(а) из комнаты
[08:13:52] iNode вошёл(а) в комнату
[10:08:29] serp256 вошёл(а) в комнату
[10:16:23] komar вошёл(а) в комнату
[10:23:17] f[x] вошёл(а) в комнату
[11:40:18] gds вошёл(а) в комнату
[11:40:21] komar вышел(а) из комнаты
[12:01:58] ermine вошёл(а) в комнату
[12:03:52] ftrvxmtrx вышел(а) из комнаты
[12:06:30] serp256 вышел(а) из комнаты
[12:13:09] Sergey Plaksin вошёл(а) в комнату
[12:36:14] komar вошёл(а) в комнату
[13:37:18] <gds> интересно вот, про дизайн ocamldbi2 :)  В постгресе есть отдельные сущности на "оператор" и "результат его исполнения", и, судя по коду биндингов, это работает честным образом.  В классическом dbi это слито в единую сущность "оператор": есть как $sth->execute, так и $sth->fetchrow_array, то есть, подразумевается, что оператор может одновременно возвратить только один результат (будь то статус или набор данных).  Некоторые субд раньше так и делали -- интересующая меня часть "рабочего цикла" у них могла состоять только из "execute; fetch от 0 до N раз; finish;" (на память приходят msql (описанная где-то около dbi) и interbase), это теперь-то субдшечьки умнее стали.  Но как отразить всё в типах?  Склоняюсь к идее: выделить отдельный тип result, а дальше -- в случае "тупых" баз -- неявно закрывать предыдущий result, либо явно ругаться, что "база тупая, сделай пажаласта result#finish () руками дааа?".  По идее, относительно гибко будет, и будут доступны возможности модных баз типа постгреса, который может с несколькими result'ами одновременно работать.  Однако интересны другие мнения.
[14:03:21] zert вошёл(а) в комнату
[14:38:34] komar вышел(а) из комнаты
[14:39:07] komar вошёл(а) в комнату
[15:46:31] aloner2k вошёл(а) в комнату
[16:18:15] Kakadu вошёл(а) в комнату
[17:34:55] iNode вышел(а) из комнаты
[17:40:30] f[x] согласен
[17:45:48] Kakadu вышел(а) из комнаты
[17:53:09] Kakadu вошёл(а) в комнату
[18:07:34] aloner2k вышел(а) из комнаты: I'm happy Miranda IM user. Get it at http://miranda-im.org/.
[18:15:58] <gds> ну и ладно.  Если кто-нибудь и будет против, то скоро будет очень поздно.  (зато не поздно для ocamldbi3, гыгы)
[18:28:24] <ermine> в смысле третий вариант?
[18:28:41] <ermine> как обычно лень скроллить вверх
[18:30:14] <gds> да там много вариантов, на самом деле.
[18:31:29] <ermine> pgocaml зе бест
[18:32:15] <ermine> всё остальное - ручной труд
[18:57:08] ftrvxmtrx вошёл(а) в комнату
[19:00:03] <gds> pgocaml заставляет видеть базу данных при компиляции, поэтому не "зе бест".
[19:01:24] <zert> как видеть?
[19:01:30] <zert> коннектиться к ней или что?
[19:04:02] <gds> коннектиться.  типы резолвить ведь надо как-то ему.
[19:04:44] <zert> мрак какой
[19:05:38] <komar> Круть же ж.
[19:05:48] <komar> Я сам хотел написать, но на полпути остановился.
[19:08:13] <gds> вообще, тема "субд vs приложение" -- какая-то неоднозначная.  Как "кит vs слон" примерно.
[19:18:28] ftrvxmtrx вышел(а) из комнаты
[19:18:33] ftrvxmtrx вошёл(а) в комнату
[19:32:28] ftrvxmtrx вышел(а) из комнаты
[19:35:26] ftrvxmtrx вошёл(а) в комнату
[19:36:01] iNode вошёл(а) в комнату
[19:42:15] Sergey Plaksin вышел(а) из комнаты
[19:44:14] komar вышел(а) из комнаты
[19:46:47] ftrvxmtrx вышел(а) из комнаты: offline
[20:21:08] komar вошёл(а) в комнату
[20:29:17] ftrvxmtrx вошёл(а) в комнату
[20:34:29] ftrvxmtrx вышел(а) из комнаты
[20:36:47] <gds> а хотя..  одновременная работа с разными PGresult, судя по мануалу (по косвенным указаниям -- по принципу работы асинхронных команд и по наличию последовательности при взятии результатов) -- следствие того, что значение PGresult становится доступным только после полного всасывания в память всех данных.  Тоже решение, можно их понять.
[20:42:19] <ermine> асихронные запросы в постгресе? никогда не слышала
[20:42:41] <ermine> если в одном соединении
[20:45:53] <gds> ermine: смотри про PQsendQuery и сотоноварищи.  В postgresql-ocaml они реализованы.  В принципе, постгрес даёт и неблокирующий интерфейс, но не знаю, где они реализованы, если где-то и реализованы вообще.
[20:46:08] <gds> (реализованы -- это я про биндинги)
[20:50:06] zert вышел(а) из комнаты
[21:17:13] <gds> а что есть из библиотек наподобие "пишем около-шелловские команды из окамла и он это делает"?  некое "camlish" имеет в caml-hump кривую страницу проекта, а на forge ничего толкового про "shell" не ищется.
Конкретно сейчас хочется функциональность, предоставляемую "shtool install -d ..." -- создать директории, опционально многоуровнево, с нужными правами, владельцами, группами.
[21:24:29] <ermine> в omake есть osh
[21:25:09] <ermine> это не то?
[21:35:16] <gds> omake хорош, но не кроссплатформенный -- точнее, было много гемора с его компиляцией под <=3.11, но там всё поломали, и не знаю, будет ли он под >=3.12.
[21:36:08] <gds> (гемор с компиляцией -- это я про все нужные мне ОС)
[21:45:46] arhibot вошёл(а) в комнату
[22:06:44] Typhon вошёл(а) в комнату
[22:11:53] serp256 вошёл(а) в комнату
[22:35:33] komar вышел(а) из комнаты
[22:53:52] ftrvxmtrx вошёл(а) в комнату
[23:01:56] serp256 вышел(а) из комнаты
[23:05:03] Sergey Plaksin вошёл(а) в комнату
[23:18:19] Sergey Plaksin вышел(а) из комнаты
[23:19:21] serp256 вошёл(а) в комнату
[23:23:53] serp256 вышел(а) из комнаты
[23:24:23] serp256 вошёл(а) в комнату
[23:40:04] serp256 вышел(а) из комнаты
[23:40:37] serp256 вошёл(а) в комнату
[23:57:30] komar вошёл(а) в комнату
[23:59:34] serp256 вышел(а) из комнаты
[23:59:53] serp256 вошёл(а) в комнату