Objective Caml - Вторник, 16 октября 2012

Objective Caml

ocaml@conference.jabber.ru

Вторник, 16 октября 2012< ^ >

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

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

GMT+4
[00:55:29] <gds> komar: не, никогда.  Там кококое-то движение по поводу разделения разметки и кода, чисто концептуальное.  Поэтому даже для мелких хаков раввинат запрещает.
А так, динлинк, утечки, что может быть милее, если нечего больше отлаживать длинными зимними ночерами.
[01:00:09] komar вышел(а) из комнаты: Logged out
[01:03:28] ftrvxmtrx вошёл(а) в комнату
[01:06:44] Typhon вошёл(а) в комнату
[01:51:28] Kakadu вышел(а) из комнаты
[01:55:46] komar вошёл(а) в комнату
[01:58:35] <komar> gds: по поводу движения не понял, если честно.
[02:00:09] <komar> Я просто сейчас немножко блюю от camltemplate, зато erb в руби радует душу.
[02:02:32] <komar> Вот и думаю, как повторить erb, чтобы было хотя бы столько же убого.
[02:11:20] <komar> Гм, вопрос снимается.
[02:11:39] <komar> Я изучил работу рельсов поближе и теперь блюю от них тоже.
[02:43:20] Typhon вышел(а) из комнаты
[03:02:58] Sun][ вышел(а) из комнаты
[03:56:50] Typhon вошёл(а) в комнату
[06:07:06] <komar> Ох екарный бабай.
[06:07:26] <komar> Я у вас не так давно спрашивал название утилиты, которая текстовые файлы в окамловые строки переводит.
[06:07:34] <komar> camlify, или еще как-то называлась.
[06:07:39] <komar> Никто не вспомнит?
[06:08:14] <komar> А, хосспади, ocamlify и называется.
[08:09:45] komar вышел(а) из комнаты: Logged out
[09:20:34] dzhon вошёл(а) в комнату
[10:05:36] klapaucius вошёл(а) в комнату
[10:14:37] Sun][ вошёл(а) в комнату
[10:22:07] klapaucius вышел(а) из комнаты
[10:22:32] klapaucius вошёл(а) в комнату
[11:03:24] ermine вошёл(а) в комнату
[11:10:24] ftrvxmtrx вышел(а) из комнаты
[11:42:18] <ermine> <?ocaml ?> давить
[11:50:02] <ermine> в случае <?ocaml ?> никакого разделения разметки от кода не происходит - остается та же каша, только более худшая чем без <?ocaml?>
[12:21:59] ftrvxmtrx вошёл(а) в комнату
[12:43:16] Kakadu вошёл(а) в комнату
[12:43:27] Kakadu вошёл(а) в комнату
[12:54:11] <f[x]> как фикс арифмтеической баги вылился в написание собственного бандлера? скоро на экранах: "як возвращается! теперь побритый!!111"
[13:31:14] <gds> бандлер -- что это?  хрень, позволяющая поставлять со своим софтом какие-то дополнительные либы?
[13:31:21] tilarids вышел(а) из комнаты: Computer went to sleep
[13:33:49] <f[x]> угу, держать и билдить зависимости вместе с софтом
[13:33:55] <f[x]> в локальный site-lib
[13:34:04] <gds> ребилдол не ок?
[13:34:12] <f[x]> nih же
[13:34:24] <gds> аа, тогда всё правильно сделал.
[13:34:26] <f[x]> *SORRY*
[13:35:04] <gds> никаких соррей -- nih это всегда решающий аргумент.  По крайней мере у верблюжатников.
[13:42:17] ermine уменьшила завертываемость-развертываемость в алгебраические структуры в своих еле-итератах и еще больше подняла скорость
[13:42:31] Typhon вышел(а) из комнаты
[13:42:34] <ermine> все в камле плохо
[13:43:13] Typhon вошёл(а) в комнату
[13:43:23] <f[x]> BREAKING NEWS!
[13:44:18] <gds> кстати, с работкой меня попустило, буду про кококок писать.
[13:44:35] <gds> или про гоноcoqq.
[13:45:37] <ermine> аштойта?
[13:45:41] <ermine> клон coq?
[13:46:02] <gds> это возбудитель болезни такой.  я зорожон.
[13:47:06] <f[x]> руки мыл
[13:47:08] <f[x]> ?
[13:47:14] <ermine> а что-то гениальное на цоке удалось сотворить?
[13:47:18] <f[x]> а то не надо нам тут заразу распостранять
[13:47:29] <ermine> или найти мега-багу в своем попсовом коде?
[13:47:29] <gds> ок, буду не тут.
[13:47:51] f[x] шутит
[13:47:55] <f[x]> на самом деле интересно
[13:48:18] <gds> багу да, нашёл, но только одну, и сразу же добавил пруф того, что исправленный код корректен.  Про багу не буду, ё. стыд потому что.
[13:48:29] ermine так и не продвинулась дальше второй главы той книжки про цок
[13:48:54] <gds> да если оно и не надо, нафиг читать.
[13:49:16] <gds> а оно тебе видимо не надо.  Хотя вот про парсеры подоказывать было бы ок.
[13:49:22] <gds> ну и поинлайнить код тоже.
[13:49:47] <ermine> скорее не проняло просто
[13:49:59] <ermine> логическо-доказательное мышление
[13:50:28] <gds> да кто ж заставляет доказывать.  Пиши себе как на ml, используй клёвые типы, забей на доказательства, и всё тут.
[13:50:46] <f[x]> профанация в чате
[13:51:06] <f[x]> кок для широких масс
[13:51:34] <gds> и, всё равно, широким массам он не понравится.  Ну да это я собираюсь описать отдельно.  Большой пост будет.
[13:52:07] <ermine> gds: ну если пиши как на ml, то не видно цели перехода на другой компилятор, мне вон в соседнем чате убеждают изучать GoLang, ибо за ним стоит будущее
[13:52:31] <ftrvxmtrx> всё правильно убеждают
[13:52:36] <f[x]> бгг
[13:52:40] tilarids вошёл(а) в комнату
[13:52:43] <gds> компилятор таки тот же, экстрактится же в камло.
[13:52:43] <ermine> всё зависит от шариков в голове
[13:52:53] <f[x]> жабоскрипт тогда учи - вот это - будущее
[13:53:02] <ftrvxmtrx> нодежс
[13:53:06] <f[x]> я бы даже сказал Будущее с большой буквы Ж
[13:53:55] <gds> ermine: цель есть.  Как я сказал, крутые типы.  Далее, контролируемый инлайнинг.  Далее, _возможность_ делать доказательства.  Потом, при желании.
[13:54:00] <ermine> екмаскрипт точнее
[13:54:47] <ermine> gds: это которые зависимые типы? в четветром камле их все еще нет?!
[13:57:00] <gds> и зависимые типы тоже, да.  А в окамл их не добавят, я чую.  Так как там нужны доказательства, а это значит, что в окамл надо добавлять доказательные шняги.  Дураки были бы, если бы считай весь coq добавляли бы в камло.
[13:57:18] <ermine> f[x]: ты уже перешел на четвертое камло?
[13:57:29] <ermine> а то может я тут последняя кто еще сидит на 3.12
[13:58:21] <gds> я ещё на 3.12, ты не одна1111
[13:59:40] <ermine> почему такая непопуляртность у четвертого камла?
[13:59:56] ermine обновила книжку по coq
[14:00:53] <ermine> а может уже планируется пятое камло?
[14:01:42] <gds> у меня не было времени мигрировать/тестировать всё.
[14:01:48] <ermine> у, 4.00.1
[14:03:41] <f[x]> тоже не мигрировал ещё
[14:03:59] <f[x]> подожду наверное ещё одного минорного релиза
[14:23:28] Kakadu вышел(а) из комнаты: Replaced by new connection
[14:23:29] Kakadu вошёл(а) в комнату
[14:24:44] dzhon вышел(а) из комнаты: Replaced by new connection
[14:24:46] dzhon вошёл(а) в комнату
[14:58:24] Kakadu вышел(а) из комнаты
[14:58:39] Kakadu вошёл(а) в комнату
[15:00:42] komar вошёл(а) в комнату
[15:07:23] Typhon вышел(а) из комнаты
[15:40:29] tilarids вышел(а) из комнаты: Computer went to sleep
[16:37:00] tilarids вошёл(а) в комнату
[16:53:30] tilarids вышел(а) из комнаты
[16:55:09] tilarids вошёл(а) в комнату
[17:08:11] Typhon вошёл(а) в комнату
[17:28:03] Sun][ вышел(а) из комнаты
[17:32:28] Typhon вышел(а) из комнаты
[17:33:08] Typhon вошёл(а) в комнату
[17:34:49] letrec вошёл(а) в комнату
[17:35:06] tilarids вышел(а) из комнаты: Replaced by new connection
[17:35:06] tilarids вошёл(а) в комнату
[18:25:40] Typhon вышел(а) из комнаты: Replaced by new connection
[18:26:01] Typhon вошёл(а) в комнату
[18:48:45] ftrvxmtrx вышел(а) из комнаты
[19:02:02] komar вышел(а) из комнаты: Logged out
[19:03:33] komar вошёл(а) в комнату
[19:21:39] Kakadu вышел(а) из комнаты
[19:22:45] Kakadu вышел(а) из комнаты
[19:25:13] dzhon вышел(а) из комнаты
[20:05:07] Typhon вышел(а) из комнаты
[20:05:42] Olmer вошёл(а) в комнату
[20:20:47] letrec вышел(а) из комнаты
[20:31:15] dzhon вошёл(а) в комнату
[20:34:19] Olmer вышел(а) из комнаты
[21:19:38] Sun][ вошёл(а) в комнату
[21:24:34] Kakadu вошёл(а) в комнату
[21:38:07] tilarids вышел(а) из комнаты: Computer went to sleep
[21:56:39] f[x] вошёл(а) в комнату
[22:10:02] tilarids вошёл(а) в комнату
[22:38:18] komar вышел(а) из комнаты: Logged out
[22:40:00] ftrvxmtrx вошёл(а) в комнату
[22:43:10] komar вошёл(а) в комнату
[22:45:38] komar вышел(а) из комнаты: Replaced by new connection
[22:45:38] komar вошёл(а) в комнату
[22:55:26] tilarids вышел(а) из комнаты
[22:55:58] tilarids вошёл(а) в комнату
[23:12:34] <ermine> печалька
[23:13:01] <ermine> с гитхуба прислали "буг"репорт о сборке одной из либл камлом 4.0.1
[23:13:43] <ermine> там оазис заявляет что нечего инсталлить
[23:14:54] <ermine> f[x]: про капризы оазиса с четвертым камлом было чонить?
[23:16:26] ermine вышел(а) из комнаты
[23:22:03] <f[x]> ermine: не в курсе. оазис самый свежий?