Objective Caml - Четверг, 17 мая 2012

Objective Caml

ocaml@conference.jabber.ru

Четверг, 17 мая 2012< ^ >

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

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

GMT+4
[00:34:44] komar вышел(а) из комнаты: Replaced by new connection
[00:34:44] komar вошёл(а) в комнату
[00:36:00] bobry вышел(а) из комнаты
[00:37:46] ermine вышел(а) из комнаты
[00:39:31] Kakadu вышел(а) из комнаты
[01:07:33] komar вышел(а) из комнаты: Replaced by new connection
[01:07:34] komar вошёл(а) в комнату
[01:08:42] Typhon вошёл(а) в комнату
[01:14:06] Typhon вышел(а) из комнаты: Replaced by new connection
[01:14:26] Typhon вошёл(а) в комнату
[01:15:20] Typhon вышел(а) из комнаты: Replaced by new connection
[01:15:40] Typhon вошёл(а) в комнату
[01:17:07] Typhon вышел(а) из комнаты: Replaced by new connection
[01:17:27] Typhon вошёл(а) в комнату
[01:22:43] tilarids вышел(а) из комнаты: Machine going to sleep
[01:35:57] f[x] вышел(а) из комнаты
[03:19:11] komar вышел(а) из комнаты: Replaced by new connection
[03:19:12] komar вошёл(а) в комнату
[03:46:12] letrec вошёл(а) в комнату
[04:19:17] Typhon вышел(а) из комнаты
[04:19:53] komar вышел(а) из комнаты
[04:20:06] komar вошёл(а) в комнату
[04:59:50] letrec вышел(а) из комнаты
[08:41:55] tilarids вошёл(а) в комнату
[09:08:12] dzhon вошёл(а) в комнату
[09:12:24] bobry вошёл(а) в комнату
[10:06:37] bobry вышел(а) из комнаты
[10:37:12] Sun][ вошёл(а) в комнату
[10:42:28] ermine вошёл(а) в комнату
[10:47:51] Kakadu вошёл(а) в комнату
[10:58:50] komar вышел(а) из комнаты
[11:00:23] komar вошёл(а) в комнату
[11:09:43] tilarids вышел(а) из комнаты: Machine going to sleep
[11:29:21] dzhon вышел(а) из комнаты: Replaced by new connection
[11:29:21] dzhon вошёл(а) в комнату
[11:38:07] dzhon вышел(а) из комнаты
[11:38:28] dzhon вошёл(а) в комнату
[11:55:42] tilarids вошёл(а) в комнату
[12:29:01] <ermine> интересно, как надо правильно конвертировать базу из мускуля в постгрес с переименовыванием полей, переназначением типов полей и прочая, прочая? точнее как и чем программировать скрипт?
[12:47:51] <ermine> может написать парсер дампа мускуля?
[12:48:20] ermine поскребла бок gds
[12:48:49] <f[x]> ermine: есть уже такие скрипты
[12:48:52] <f[x]> гугли
[12:49:04] <f[x]> чуть ли не в стандартной поставке идут
[12:53:48] <ermine> f[x]: видела конвертер на руби, он просто конвертер
[12:54:40] <ermine> как результат - никаких foregin keys и прочих вменяемых штучек
[12:54:53] <f[x]> а сначала сконвертить, а потом переименовать поля итд?
[12:55:11] <f[x]> или сконвертить и потом руками в дампе схему подкрутить
[12:57:19] <ermine> тут тут тоже проблемы - сразу не видно что надо переименовывать, а только в процессе разработки движка, т.е. журнализовать надо
[12:57:34] <ermine> из истории шелла постгреса выдирать тоже смешно
[12:59:35] <ermine> придется таки жестоко журнализовать и не забывать
[13:00:03] <ermine> f[x]: конвертер в поставке постгреса кстати фиговый
[13:03:45] <gds> ermine: какой "рабочий процесс" ты хочешь в итоге?
[13:05:46] bobry вошёл(а) в комнату
[13:06:00] <gds> ermine: есть такое: https://github.com/maxlapshin/mysql2postgres , автор вроде вменяемый.  но с переименованиями -- непонятно, ответь на вопрос выше.
[13:07:38] <ermine> gds: если он рубиновый, то я его и имела в виду
[13:07:59] <gds> билирубиновый!11
[13:08:03] <ermine> наиболее полно конвертирует базу из мускуля в постгрес, назначая приближенно похожий тип
[13:08:11] <ermine> тип полей в смысле
[13:08:52] <ermine> а если я хочу другой тип?
[13:09:27] ermine гуглит по парсингу дампа
[13:11:27] <gds> всё равно в некоторых случаях не получится беспроблемно поменять тип.  поэтому рекомендую такой воркфлоу: сделай скрипты вида 1.sql, 2.sql, ..., которые будут последовательно запускаться супротив свежесконверченной базы, и в них опиши нужные операции в виде ddl (а то и dml придётся).  Это если надо иметь возможность в любой момент времени взять старую базу и перегнать её в новую.
[13:13:04] <ermine> gds: насчет "в некоторых случаях" мне не грозит - мне ж не надо общий случай, а лишь сугубо мой частный случай - передизайн
[13:13:46] <gds> тогда скрипты ши ну футе капэ.
[13:24:12] <f[x]> gds: ты уже теряешь связность речи, это кокс так действует?
[13:24:50] bobry вышел(а) из комнаты
[13:29:47] <gds> f[x]: речь связная, но не совсем по-русски.  впрочем да, кок-с вставляет-с...
[13:33:10] komar вышел(а) из комнаты: Replaced by new connection
[13:33:11] komar вошёл(а) в комнату
[13:38:48] dzhon вышел(а) из комнаты: Replaced by new connection
[13:38:57] dzhon вошёл(а) в комнату
[14:18:22] letrec вошёл(а) в комнату
[14:21:56] <ermine> мда, ocaml-mysql трехлетней свежести
[14:22:17] <ermine> "работает - не трогай"?
[14:22:54] <f[x]> бери из гита
[14:23:24] <f[x]> на этих выходных будет релиз
[14:23:29] <ermine> на форге?
[14:23:36] <f[x]> честно-честно, сейчас как раз extunix причёсываю
[14:23:39] <f[x]> угу
[14:28:16] <ermine> ну тогда осталось найти урл репы
[14:29:00] <f[x]> начинай отсюда -> http://ocaml-mysql.forge.ocamlcore.org/
[14:29:09] <ermine> указан git.ocamlcore.org, который не резолвится
[14:31:07] <f[x]> резолвится
[14:33:41] Typhon вошёл(а) в комнату
[14:34:37] <ermine> не клонируется
[14:36:07] <f[x]> проверил же
[14:36:14] <f[x]> 87.98.154.45
[14:37:25] <f[x]> цензура кровавого режима?
[14:37:46] <ermine> у тебя доступ наверное ssh+git
[14:38:23] komar вышел(а) из комнаты
[14:39:22] komar вошёл(а) в комнату
[14:40:36] <ermine> про нерезолвинг сам гит сказал, хотя в шелле резолвится
[14:41:28] <ermine> в общем не клонируется даже если поменять http:// на git://
[14:47:47] akovbovich вошёл(а) в комнату
[14:49:01] <ermine> f[x]: проблема сводится к простой: дай публичный доступ к репе, а?
[14:49:14] <ermine> я пока за чаем схожу
[15:03:59] <ermine> f[x]: я тут посмотрела браузером на "репу" - там нет .git каталога
[15:04:24] <ermine> ну тогда пока можно скачать вгетом
[15:05:58] <ermine> тьфу, это и есть репа, но пчу-то не клонируется
[15:12:19] <ermine> ых
[15:13:13] dzhon вышел(а) из комнаты
[15:13:43] dzhon вошёл(а) в комнату
[15:17:29] <f[x]> ermine: я проверил http
[15:17:55] <f[x]> git clone http://git.ocamlcore.org/ocaml-mysql/ocaml-mysql.git/
[15:18:45] <ermine> f[x]: у моего гита все же какая-то проблема с DNS в отношении git.ocamlcore.org
[15:19:10] <f[x]> можно ip  в hosts прописать
[15:19:32] <f[x]> ermine: http://camlunity.ru/swap/ocaml-mysql.bundle
[15:20:20] <ermine> а что это?
[15:20:42] <f[x]> бандл
[15:21:02] <f[x]> делаешь с него клон и всё
[15:21:06] <f[x]> скачай локально
[15:22:40] <ermine> а, гитовый бандл
[15:22:57] <ermine> а что с ним делать? :)
[15:24:26] <f[x]> клонировать
[15:25:17] <ermine> получилось
[15:25:44] <f[x]> ура
[15:26:38] <ermine> таки поторопилась с выводом
[15:28:19] <ermine> видать не судьба юзать ocaml-mysql
[15:30:43] <f[x]> why?
[15:32:04] <ermine> а, его надо без file://
[15:40:04] <ermine> скомпилила и поставила
[15:40:53] <ermine> буду тягать из табличек мускуля и втыкать в таблички в постгрес
[15:41:13] <ermine> f[x]: пасиб
[15:41:58] <f[x]> ок
[15:43:10] ftrvxmtrx вышел(а) из комнаты
[15:43:59] ftrvxmtrx вошёл(а) в комнату
[15:46:24] ftrvxmtrx вышел(а) из комнаты
[15:54:10] ftrvxmtrx вошёл(а) в комнату
[15:54:58] <gds> мой свежий высер в coq: https://gist.github.com/d8e8e18d404ba1358423 -- таки понял, как сделать такую функцию, которая будет принимать условие фильтрации списка для вычислений в рантайме и одновременно почти-это-же условие для доказательства того, что результат фильтрации удовлетворителен.
[15:58:45] <ermine> почти = на авось?
[15:59:05] ermine смотрит в demo.ml и копипастует
[15:59:39] <gds> почти -- условие другое, но при компиляции проверяется, что доказательное и вычислительное условия консистентны.
[16:04:58] ftrvxmtrx вышел(а) из комнаты
[16:07:53] ftrvxmtrx вошёл(а) в комнату
[16:48:39] dzhon вышел(а) из комнаты
[16:48:51] dzhon вошёл(а) в комнату
[16:53:27] tilarids вышел(а) из комнаты
[16:54:26] tilarids вошёл(а) в комнату
[16:55:53] <f[x]> обнаружил в swap'е - "Formal Verification of Object Layout for C++ Multiple Inheritance"
[16:59:18] <gds> ох ля, страшно.
[17:00:13] <f[x]> это вместо того чтобы камло пилить, xl упражняется
[17:00:33] <f[x]> смотри, эти ноомодные увлечения до добра не доводят
[17:04:13] <gds> либо ему это было надо для чего-то, либо я его порицаю.
[17:04:42] <f[x]> things people do for money
[17:31:09] komar вышел(а) из комнаты
[17:32:24] komar вошёл(а) в комнату
[17:56:29] ftrvxmtrx вышел(а) из комнаты
[18:05:15] dzhon вышел(а) из комнаты
[18:06:55] ftrvxmtrx вошёл(а) в комнату
[18:10:25] ftrvxmtrx вышел(а) из комнаты
[18:11:23] ftrvxmtrx вошёл(а) в комнату
[18:25:24] komar вышел(а) из комнаты: Replaced by new connection
[18:25:25] komar вошёл(а) в комнату
[18:40:59] Kakadu вышел(а) из комнаты
[18:41:42] Kakadu вошёл(а) в комнату
[18:44:22] Kakadu вышел(а) из комнаты
[18:47:50] Kakadu вошёл(а) в комнату
[18:53:36] komar вышел(а) из комнаты
[18:56:24] komar вошёл(а) в комнату
[19:18:06] letrec вышел(а) из комнаты
[19:26:25] Sun][ вышел(а) из комнаты
[19:46:22] Typhon вышел(а) из комнаты
[19:56:38] komar вышел(а) из комнаты: Replaced by new connection
[19:56:39] komar вошёл(а) в комнату
[20:35:07] komar вышел(а) из комнаты
[20:35:42] komar вошёл(а) в комнату
[21:43:40] komar вышел(а) из комнаты
[21:48:04] komar вошёл(а) в комнату
[21:50:19] bobry вошёл(а) в комнату
[22:23:32] Sun][ вошёл(а) в комнату
[22:28:54] komar вышел(а) из комнаты: Replaced by new connection
[22:28:55] komar вошёл(а) в комнату
[22:30:10] tilarids вышел(а) из комнаты: Machine going to sleep
[22:52:46] tilarids вошёл(а) в комнату
[23:01:01] ftrvxmtrx вышел(а) из комнаты
[23:08:39] komar вышел(а) из комнаты
[23:10:58] komar вошёл(а) в комнату
[23:36:49] ftrvxmtrx вошёл(а) в комнату
[23:51:48] akovbovich вошёл(а) в комнату
[23:53:57] akovbovich вышел(а) из комнаты