Objective Caml - Среда, 22 июня 2011

Objective Caml

ocaml@conference.jabber.ru

Среда, 22 июня 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:00:24] zert вошёл(а) в комнату
[00:07:18] arhibot вошёл(а) в комнату
[00:11:58] gds вышел(а) из комнаты
[01:15:43] arhibot вышел(а) из комнаты
[01:36:34] arhibot вошёл(а) в комнату
[01:36:52] arhibot вышел(а) из комнаты
[01:44:37] ermine вышел(а) из комнаты
[01:54:16] zert вышел(а) из комнаты
[03:52:25] Typhon вышел(а) из комнаты
[04:17:35] komar вышел(а) из комнаты
[04:27:07] zinid вошёл(а) в комнату
[07:55:53] komar вошёл(а) в комнату
[08:54:41] komar вышел(а) из комнаты: Replaced by new connection
[08:54:41] komar вошёл(а) в комнату
[08:59:58] gds вошёл(а) в комнату
[09:49:27] bobry вышел(а) из комнаты
[10:21:32] ftrvxmtrx вышел(а) из комнаты
[10:32:27] arhibot вошёл(а) в комнату
[10:51:51] ermine вошёл(а) в комнату
[11:03:50] komar вышел(а) из комнаты: Replaced by new connection
[11:03:51] komar вошёл(а) в комнату
[11:06:00] ftrvxmtrx вошёл(а) в комнату
[11:11:18] komar вышел(а) из комнаты: Replaced by new connection
[11:11:19] komar вошёл(а) в комнату
[11:20:18] klapaucius вошёл(а) в комнату
[11:24:40] arhibot вышел(а) из комнаты
[11:36:15] arhibot вошёл(а) в комнату
[11:36:33] arhibot вышел(а) из комнаты
[13:00:29] gds вышел(а) из комнаты
[13:02:42] Typhon вошёл(а) в комнату
[13:53:53] <Typhon> https://spreadsheets.google.com/spreadsheet/pub?hl=en_US&hl=en_US&key=0ApqAGJRlAIu4dHJzekxpS0xRbnN1THdEMlZ0LURZV3c&output=html 20 команд
[13:54:29] <Typhon> даже чуть больше
[14:10:42] gds вошёл(а) в комнату
[14:15:03] <gds> порожают coq, agda, [ba]sh.
[14:15:55] zert вошёл(а) в комнату
[15:38:56] <ermine> а как можно объявить type err = exception?
[15:43:27] <gds> вот так вот.
[15:43:34] <gds> type err = exn
[15:44:50] <ermine> о, точно, склероз
[17:39:57] abiogenesis вошёл(а) в комнату
[17:45:32] abiogenesis вышел(а) из комнаты
[18:17:17] zinid вышел(а) из комнаты
[18:49:53] <gds> кто-нибудь встречал какую-нибудь хренотень, которой на вход можно было бы дать окамловское значение, а она бы рассказала в подробностях (и опционально нарисовала бы) те значения, из которых оно состоит? Важным является определение имён функций (хотя бы в виде сишных имён, которые мы видим, например, в профайлере).
И да, я размечтался.
[19:04:01] <ermine> ырланк не дает спокойно спать?
[19:05:01] <ermine> а вообще, это, конечно gdb
[19:05:19] <ermine> хотя там с именами туго - никто не обучил
[19:10:58] <gds> кое-что другое не даёт спокойно.
gdb не знает структуру окамловских значений, не хочется его.
[19:13:45] <ermine> google gdb ocaml plugin
[19:17:46] <gds> в десятке нет -- значит вообще нет.
[19:18:25] <ermine> ага, французы ленятся чота
[19:18:27] <komar> Ошибаетесь.
[19:18:45] <komar> Гугол что-то совсем в последнее время.
[19:19:55] <ermine> давай ссылку
[19:20:06] <komar> Я выше 19:17 не читал.
[19:20:54] <ermine> komar: мы хотим камлевый плагин к gdb
[19:22:47] <gds> нет же, мне конкретно gdb не нужен.
[19:25:31] <ermine> gds: (подозрительно) запутался в итератах?
[19:26:22] <gds> не, в аппликативных функторах, и не запутался, а просто хочу посмотреть, точно ли везде, где нужно, у меня fun x -> fun y -> ..., а не fun x y -> ...
[19:27:26] <gds> хотя вот от наблюдения за итератами я бы не отказался тоже, но там -- чисто для развлечения.
[19:30:22] <gds> вот что-то типа такого можно было бы: http://www.youtube.com/watch?v=nQkhELdAYB8
[19:52:48] Typhon вышел(а) из комнаты
[19:59:47] ftrvxmtrx вышел(а) из комнаты
[20:00:40] ftrvxmtrx вошёл(а) в комнату
[20:24:19] ftrvxmtrx вышел(а) из комнаты
[20:38:21] <zert> факинфай
[21:09:44] ftrvxmtrx вошёл(а) в комнату
[21:45:58] bobry вошёл(а) в комнату
[23:45:18] Typhon вошёл(а) в комнату