Home
Objective Caml
ocaml@conference.jabber.ru
Суббота, 1 декабря 2012< ^ >
f[x] установил(а) тему: OCaml / ОКамл / Камль -- http://caml.inria.fr | Камло - http://camlunity.ru/ | Верблюды грязи не боятся! | release crap, enjoy NIH | репортьте баги официальным дилерам | ocaml мёртв и тормозит, move on | stdlib only? - ССЗБ | Fight FUD with fire | Мойте руки перед чатом | 4.00.0 уже таки да, см. kamlo_wiki/OCamlChanges
Конфигурация комнаты
Участники комнаты

GMT+4
[01:04:19] Sun][ вышел(а) из комнаты
[01:05:34] Sun][ вошёл(а) в комнату
[01:05:52] komar вошёл(а) в комнату
[01:17:35] Kakadu вышел(а) из комнаты
[01:55:18] komar вышел(а) из комнаты: Logged out
[02:01:42] komar вошёл(а) в комнату
[02:02:49] komar вышел(а) из комнаты: Logged out
[03:00:30] Sun][ вышел(а) из комнаты
[04:45:42] ftrvxmtrx вошёл(а) в комнату
[04:45:43] ftrvxmtrx вышел(а) из комнаты
[05:13:08] <gds> погуглил, не нашёл, поэтому спрошу в расчёте на ваши загашники.  Кто-нибудь парсит plpgsql или хотя бы pl/sql?
[06:17:46] vladimir.chujkov вошёл(а) в комнату
[06:51:02] ftrvxmtrx вышел(а) из комнаты
[08:16:42] Typhon вошёл(а) в комнату
[08:28:18] zinid вошёл(а) в комнату
[09:05:05] vladimir.chujkov вышел(а) из комнаты
[09:06:31] vladimir.chujkov вошёл(а) в комнату
[09:13:36] vladimir.chujkov вышел(а) из комнаты
[09:14:56] vladimir.chujkov вошёл(а) в комнату
[09:19:05] vladimir.chujkov вышел(а) из комнаты
[09:19:07] vladimir.chujkov вошёл(а) в комнату
[09:20:05] vladimir.chujkov вышел(а) из комнаты
[09:21:31] vladimir.chujkov вошёл(а) в комнату
[09:24:35] vladimir.chujkov вышел(а) из комнаты
[09:25:43] vladimir.chujkov вошёл(а) в комнату
[09:36:18] vladimir.chujkov вошёл(а) в комнату
[09:38:05] vladimir.chujkov вышел(а) из комнаты
[09:38:35] vladimir.chujkov вышел(а) из комнаты
[09:39:43] vladimir.chujkov вошёл(а) в комнату
[09:42:35] vladimir.chujkov вышел(а) из комнаты
[09:43:14] vladimir.chujkov вошёл(а) в комнату
[09:45:36] vladimir.chujkov вышел(а) из комнаты
[09:45:37] vladimir.chujkov вошёл(а) в комнату
[09:47:35] vladimir.chujkov вышел(а) из комнаты
[09:48:54] vladimir.chujkov вошёл(а) в комнату
[09:55:30] vladimir.chujkov вошёл(а) в комнату
[09:56:16] ermine вошёл(а) в комнату
[09:57:36] vladimir.chujkov вышел(а) из комнаты
[09:58:27] vladimir.chujkov вошёл(а) в комнату
[09:59:35] vladimir.chujkov вышел(а) из комнаты
[10:01:01] tilarids вошёл(а) в комнату
[10:01:05] vladimir.chujkov вышел(а) из комнаты
[10:02:29] vladimir.chujkov вошёл(а) в комнату
[10:05:06] vladimir.chujkov вышел(а) из комнаты
[10:05:53] vladimir.chujkov вошёл(а) в комнату
[10:09:06] vladimir.chujkov вышел(а) из комнаты
[10:10:36] tilarids вышел(а) из комнаты: Machine going to sleep
[10:11:57] vladimir.chujkov вошёл(а) в комнату
[10:15:06] vladimir.chujkov вышел(а) из комнаты
[10:15:42] vladimir.chujkov вошёл(а) в комнату
[10:18:06] vladimir.chujkov вышел(а) из комнаты
[10:19:17] vladimir.chujkov вошёл(а) в комнату
[10:22:06] vladimir.chujkov вышел(а) из комнаты
[10:22:46] vladimir.chujkov вошёл(а) в комнату
[10:25:07] vladimir.chujkov вышел(а) из комнаты
[10:26:57] vladimir.chujkov вошёл(а) в комнату
[10:29:06] vladimir.chujkov вышел(а) из комнаты
[10:32:21] vladimir.chujkov вошёл(а) в комнату
[10:34:36] vladimir.chujkov вышел(а) из комнаты
[10:36:20] vladimir.chujkov вошёл(а) в комнату
[10:38:37] vladimir.chujkov вышел(а) из комнаты
[10:40:34] vladimir.chujkov вошёл(а) в комнату
[10:41:55] Kakadu вошёл(а) в комнату
[10:45:36] vladimir.chujkov вышел(а) из комнаты
[10:46:41] vladimir.chujkov вошёл(а) в комнату
[10:50:06] vladimir.chujkov вышел(а) из комнаты
[10:50:13] vladimir.chujkov вошёл(а) в комнату
[10:52:37] vladimir.chujkov вышел(а) из комнаты
[10:53:45] vladimir.chujkov вошёл(а) в комнату
[10:56:37] vladimir.chujkov вышел(а) из комнаты
[10:57:56] vladimir.chujkov вошёл(а) в комнату
[11:00:36] vladimir.chujkov вышел(а) из комнаты
[11:01:53] vladimir.chujkov вошёл(а) в комнату
[11:04:07] vladimir.chujkov вышел(а) из комнаты
[11:05:12] vladimir.chujkov вошёл(а) в комнату
[11:05:46] tilarids вошёл(а) в комнату
[11:07:07] vladimir.chujkov вышел(а) из комнаты
[11:10:21] vladimir.chujkov вошёл(а) в комнату
[11:12:36] vladimir.chujkov вышел(а) из комнаты
[11:13:37] vladimir.chujkov вошёл(а) в комнату
[11:16:07] vladimir.chujkov вышел(а) из комнаты
[11:17:49] vladimir.chujkov вошёл(а) в комнату
[11:19:37] vladimir.chujkov вышел(а) из комнаты
[11:21:28] tilarids вышел(а) из комнаты: Replaced by new connection
[11:21:33] tilarids вошёл(а) в комнату
[11:24:37] tilarids вышел(а) из комнаты: Machine going to sleep
[12:41:25] Kakadu вышел(а) из комнаты
[12:41:43] komar вошёл(а) в комнату
[13:30:13] zinid вышел(а) из комнаты
[13:30:19] zinid вошёл(а) в комнату
[13:40:03] ftrvxmtrx вошёл(а) в комнату
[13:55:02] tilarids вошёл(а) в комнату
[14:42:04] komar вышел(а) из комнаты: Logged out
[15:26:02] komar вошёл(а) в комнату
[15:39:15] tilarids вышел(а) из комнаты
[15:47:58] komar вышел(а) из комнаты: Replaced by new connection
[15:47:59] komar вошёл(а) в комнату
[16:05:26] tilarids вошёл(а) в комнату
[16:06:56] komar вышел(а) из комнаты
[17:20:17] Sun][ вошёл(а) в комнату
[17:32:42] Kakadu вошёл(а) в комнату
[17:48:07] komar вошёл(а) в комнату
[17:48:11] tilarids вышел(а) из комнаты: Computer went to sleep
[17:59:33] komar вышел(а) из комнаты: Logged out
[18:42:35] tilarids вошёл(а) в комнату
[18:49:43] Sun][ вышел(а) из комнаты
[19:03:18] komar вошёл(а) в комнату
[19:10:13] zinid вышел(а) из комнаты
[19:23:45] tilarids вышел(а) из комнаты: Computer went to sleep
[19:25:09] Sun][ вошёл(а) в комнату
[19:37:53] Sun][ вышел(а) из комнаты
[20:46:42] Kakadu вышел(а) из комнаты
[20:48:19] Kakadu вошёл(а) в комнату
[20:48:45] f[x] вошёл(а) в комнату
[20:53:27] <f[x]> я парсил часть sql, но ты это знаешь, а что такое pl/sql - не имею понятия
[21:03:57] <gds> f[x]: ага, это знаю.  Собственно, самого sql там не много, по сравнению с остальным говнищем (хоть и не всё мне надо парсить, но всё же), поэтому как-то не думал "взять парсер sql и докрутить процедурный язык".  Теперь -- подумал.  Если возьмусь -- сначала точно посмотрю на твой sqlgg, а может и возьму его в дело.
[21:31:10] <ermine> я имела дело с pl/sql
[21:31:54] <ermine> только pl/sql лучше оставить постгресу
[21:32:59] <gds> нет, pl/sql нужно оставлять только ораклу.
[21:33:22] <gds> а вот plpgsq
[21:33:23] <gds> l.+
[21:35:21] <ermine> gds: решил переписать оракл на камло?
[21:36:22] <gds> не, решил проанализировать и попереписывать plpgsql, так как наляпал кучу говна на нём, но эту кучу надо будет разгребать.  Направления разгребания понятны, но объём кучи не радует.
[21:38:28] <ermine> ой да ты крут
[21:40:42] <ermine> а в книжке про coq я завязла в главе про coinductive
[21:59:13] ermine вышел(а) из комнаты
[23:04:00] ftrvxmtrx вышел(а) из комнаты
[23:05:13] tilarids вошёл(а) в комнату
[23:20:42] ftrvxmtrx вошёл(а) в комнату
[23:22:08] <gds> ermine: нет, нифига не крут.  Велика вероятность, что ничего не получится, даже если бы был парсер plpgsql.  А кто вообще занимается потенциально-неуспешными делами высокой сложности и почти одноразового использования?  Лохи, конечно.
Powered by ejabberd Powered by Erlang Valid XHTML 1.0 Transitional Valid CSS!