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

Objective Caml

ocaml@conference.jabber.ru

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

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

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

GMT+4
[00:12:25] komar вышел(а) из комнаты: Replaced by new connection
[00:12:25] komar вошёл(а) в комнату
[00:31:56] bobry вышел(а) из комнаты
[00:59:08] Kakadu вышел(а) из комнаты
[01:10:27] komar вышел(а) из комнаты
[01:13:43] komar вошёл(а) в комнату
[01:33:42] komar вышел(а) из комнаты
[01:35:40] komar вошёл(а) в комнату
[01:59:04] Sun][ вышел(а) из комнаты
[02:42:25] komar вышел(а) из комнаты
[02:44:20] komar вошёл(а) в комнату
[03:39:59] letrec вошёл(а) в комнату
[04:02:22] Typhon вышел(а) из комнаты
[04:48:04] letrec вышел(а) из комнаты
[08:41:19] bobry вошёл(а) в комнату
[08:46:02] bobry вышел(а) из комнаты
[09:23:55] komar вышел(а) из комнаты: Replaced by new connection
[09:24:25] komar вошёл(а) в комнату
[09:51:51] komar вышел(а) из комнаты
[09:59:28] komar вошёл(а) в комнату
[10:13:29] komar вышел(а) из комнаты: Replaced by new connection
[10:13:30] komar вошёл(а) в комнату
[10:33:37] ftrvxmtrx вышел(а) из комнаты
[10:42:45] ftrvxmtrx вошёл(а) в комнату
[10:57:14] ftrvxmtrx вышел(а) из комнаты
[11:02:51] ftrvxmtrx вошёл(а) в комнату
[11:04:36] ftrvxmtrx вышел(а) из комнаты
[11:14:13] ermine вошёл(а) в комнату
[11:21:00] ftrvxmtrx вошёл(а) в комнату
[11:22:45] gds вышел(а) из комнаты
[12:50:31] Kakadu вошёл(а) в комнату
[13:16:12] komar вышел(а) из комнаты
[13:24:55] Typhon вошёл(а) в комнату
[13:28:47] komar вошёл(а) в комнату
[13:29:27] shaggie вошёл(а) в комнату
[15:20:35] komar вышел(а) из комнаты
[15:21:38] komar вошёл(а) в комнату
[15:26:12] letrec вошёл(а) в комнату
[15:26:17] letrec вышел(а) из комнаты
[15:26:33] letrec вошёл(а) в комнату
[15:40:48] komar вышел(а) из комнаты
[15:43:21] <Kakadu> всем интересующимся барброй предлагаю покомментить баги
[15:43:25] <Kakadu> https://github.com/camlunity/barbra/issues?sort=created&direction=desc&state=open
[16:20:57] komar вошёл(а) в комнату
[17:01:13] komar вышел(а) из комнаты
[17:05:17] komar вошёл(а) в комнату
[17:27:17] Kakadu вышел(а) из комнаты
[18:16:41] gds вошёл(а) в комнату
[18:32:42] Kakadu вошёл(а) в комнату
[19:06:38] komar вышел(а) из комнаты
[19:06:49] komar вошёл(а) в комнату
[19:33:27] komar вышел(а) из комнаты: Replaced by new connection
[19:33:30] komar вошёл(а) в комнату
[19:36:57] Typhon вышел(а) из комнаты
[19:42:28] <gds> есть что-то хорошее в том, что в окамле нет юникода в операторах и идентификаторах.  А то было бы https://github.com/agda/agda-frp-js/blob/master/src/agda/FRP/JS/DOM.agda
[20:00:36] komar вышел(а) из комнаты: Replaced by new connection
[20:00:36] komar вошёл(а) в комнату
[20:00:45] ftrvxmtrx вышел(а) из комнаты
[20:11:46] <ermine> gds: напиши идентификатор по-хренцузски
[20:14:04] <ermine> gds: ты еще не доказал совершенство моих комбинаторов?
[20:19:05] <Kakadu> ermine: identificateur
[20:20:05] ftrvxmtrx вошёл(а) в комнату
[20:20:28] <ermine> gds: и вот с этим скомпили - неужто не скомпилится? (только не utf-8, a latin1)
[20:21:06] <ermine> Kakadu: а ты учишь в вузе французский?
[20:22:04] <ermine> а не, чота не вижу неправильных букв
[20:22:17] <Kakadu> ermine: не. не учу
[20:23:27] <ermine> Kakadu: лентяй!
[20:24:39] <Kakadu> ermine: иди  займись своей парсетотой
[20:26:20] <ermine> Kakadu: только им и занимаюсь!!! сегодня переписала нафик один кусок оригинальной (чужой) грамматики маркдауна, пофиксилось несколько багов, но самую главную багу не пофиксило, страдаю дальше
[20:28:45] <ermine> у меня парсер красиво вываливается, почти как камловский компилятор, filename, line, col, syntax error
[20:28:54] <ermine> в отличие от барбары
[20:31:48] komar вышел(а) из комнаты: Replaced by new connection
[20:31:49] komar вошёл(а) в комнату
[20:35:08] Typhon вошёл(а) в комнату
[20:35:13] ftrvxmtrx вышел(а) из комнаты
[20:38:44] ftrvxmtrx вошёл(а) в комнату
[20:39:15] ftrvxmtrx вышел(а) из комнаты
[20:39:19] letrec вышел(а) из комнаты
[20:42:32] ftrvxmtrx вошёл(а) в комнату
[20:58:05] dzhon вошёл(а) в комнату
[21:19:17] dzhon вышел(а) из комнаты
[21:32:49] shaggie вышел(а) из комнаты
[21:48:06] bobry вошёл(а) в комнату
[21:51:50] komar вышел(а) из комнаты: Replaced by new connection
[21:51:57] komar вошёл(а) в комнату
[21:59:58] komar вышел(а) из комнаты: Replaced by new connection
[21:59:58] komar вошёл(а) в комнату
[21:59:59] ftrvxmtrx вышел(а) из комнаты
[22:03:02] ftrvxmtrx вошёл(а) в комнату
[22:50:19] <bobry> коллега на работе узнал про TH
[22:50:21] <bobry> guess what?
[22:50:33] <bobry> теперь у нас весь код по колено в нем
[22:50:54] <bobry> $(fuckUp ''Foo)
[23:00:26] Typhon вышел(а) из комнаты
[23:08:48] <gds> многие знания -- многие печали для поддерживающих код.
[23:15:54] Kakadu вышел(а) из комнаты
[23:21:31] Kakadu вошёл(а) в комнату
[23:22:08] <Kakadu> bobry: надо бы прочитать issue которые лежат кому-то
[23:22:16] <Kakadu> а то похоже в барбре опять пора думать
[23:24:25] ermine наконец задавила багу, на которую потратила три дня
[23:24:37] <gds> bobry: кстати, можешь ему задвинуть телегу про то, что нужда в camlp4/th -- признак слабой системы типов окамла/х-я, и настоящие пацаны в этом случае используют не синтаксические расширения, а coq/agda.  По крайней мере, займёшь его на месяц-другой.
[23:24:38] <ermine> маркдаун - это ужасно
[23:25:39] <ermine> искать багу в маркдауне всё равно что искать жучка в стоге сена
[23:26:54] <bobry> gds: я бы coq врагу не посоветовал :)
[23:27:01] <bobry> Kakadu: в ближайшие две недели увы никак, учеба-учеба
[23:30:08] <ermine> bobry: мне в другом чате сказали, что coq накручивает мозг круче чем хаскиль
[23:31:46] <bobry> что это за чат такой, где coq обсуждают?
[23:32:44] komar вышел(а) из комнаты: Replaced by new connection
[23:32:45] komar вошёл(а) в комнату
[23:32:55] <komar> ermine: ты ниасилила.
[23:33:15] <ermine> так, маркдаун на сегодня побежден, можно почитать дальше книжку про coq
[23:34:02] Typhon вошёл(а) в комнату
[23:34:13] <ermine> bobry: ну в джаббере, есть тут приватные конфы, а про coq сказал сам великий aleksey
[23:34:52] <ermine> komar: каво?
[23:35:00] <komar> Парсеры.
[23:35:07] bobry вышел(а) из комнаты
[23:35:24] <ermine> ну возможно, но мне есть к чему стремиться
[23:35:48] Typhon вышел(а) из комнаты
[23:36:37] bobry вошёл(а) в комнату
[23:38:47] <ermine> komar: а ты осилил coq?
[23:39:24] <ermine> щас тут модно осваивать coq
[23:39:47] gds вышел(а) из комнаты
[23:40:01] <komar> Нет.
[23:41:37] <ermine> да, и тебе тоже есть к чему стремиться
[23:42:57] gds вошёл(а) в комнату
[23:46:00] komar вышел(а) из комнаты: Replaced by new connection
[23:46:01] komar вошёл(а) в комнату
[23:49:20] <gds> bobry: лол чо не посоветовал бы?
[23:50:47] <gds> ты ещё смотри на профит -- чел будет втыкать в него долго, и, может, меньше th-говна будет в коде.
[23:53:29] <ermine> gds: ты уже осилил креолу?
[23:57:49] <gds> ermine: не.  У меня сраный график сна, сегодня половину суток прощёлкал в пустоту, остальные три четверти (!) ушли просто кошкам под хвосты.  Зато про говно написал в псачике, да, достижение.  И по работе было много вопросов-ответов.  Ну и попытался потеребить ребят из #coq.  Я же хочу всё культурно и цивильно решить.  В том числе, чтобы камлокод был кошерен на выходе.  Поэтому пока решаю, как быть с общерекурсивными функциями (твоя star).  Мне это надо понять и для других целей, так как структурной рекурсией много не оформишь.
А там, видимо, сделаю слой поверх твоих комбинаторов, из которого буду генерить как комбинаторы, так и то, что мне нужно будет (приватно рассказывал ужосы их городка).
Но тупка довит на меня.
[23:59:42] <gds> вообще, на многое замахнулся.  Можно было бы на меньшее, но ведь неинтересно.  А если ниасилю -- камлокод всегда напишу, запасной вариант есть.