Objective Caml - Воскресенье, 29 января 2012

Objective Caml

ocaml@conference.jabber.ru

Воскресенье, 29 января 2012< ^ >

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

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

GMT+4
[00:13:20] ermine вышел(а) из комнаты
[01:31:42] Kakadu вышел(а) из комнаты
[03:16:44] bobry вышел(а) из комнаты
[04:24:39] f[x] вошёл(а) в комнату
[04:40:17] f[x] вышел(а) из комнаты: Computer went to sleep
[05:36:59] letrec вошёл(а) в комнату
[05:37:08] letrec вышел(а) из комнаты
[05:37:24] letrec вошёл(а) в комнату
[05:45:59] gds вышел(а) из комнаты
[06:56:44] ftrvxmtrx вышел(а) из комнаты
[07:08:43] ftrvxmtrx вошёл(а) в комнату
[09:23:08] komar вышел(а) из комнаты
[09:25:56] komar вошёл(а) в комнату
[09:58:38] Typhon вошёл(а) в комнату
[10:43:29] Typhon вышел(а) из комнаты
[10:44:21] Typhon вошёл(а) в комнату
[11:15:05] Typhon вышел(а) из комнаты
[11:17:56] Kakadu вошёл(а) в комнату
[11:53:21] ermine вошёл(а) в комнату
[13:02:25] f[x] вошёл(а) в комнату
[13:22:56] bobry вошёл(а) в комнату
[13:44:09] Andrey Popp вошёл(а) в комнату
[13:56:22] <bobry> товарищи, шо думаете? https://github.com/camlunity/barbra/issues/14
[13:56:32] <bobry> особенно хотелось бы послушать gds'a которого нет :)
[15:34:55] f[x] вышел(а) из комнаты: Computer went to sleep
[17:13:20] DimitryKakadu вошёл(а) в комнату
[17:19:11] DimitryKakadu вышел(а) из комнаты
[17:23:52] gds вошёл(а) в комнату
[17:30:46] <gds> bobry: сейчас не могу ничего сказать, надо подумать, потом сообщу.
[17:34:09] <letrec> http://ocaml.paste.pro/5141523 почему неправильный тип выводится?
[17:38:45] <gds> "Firefox не может найти сервер ocaml.paste.pro."
[17:42:21] <Kakadu> gds: не, не может
[17:46:03] <letrec> странно
[17:47:20] <letrec> а этот http://ocaml.nopaste.dk/p4656 может?
[17:48:10] <Kakadu> могёт
[17:48:17] <gds> этот ок.
[17:49:45] <letrec> понятно на что жалуется, если внутренние определения вытащить наружу, то ок
[17:51:25] <gds> согласно строке
let rec prefixes' (l' : 'a list) (p : 'a list list) : 'a list list
, значение prefixes' l [] имеет тип 'a list list, но оно возвращается из функции, которая, согласно строке
let prefixes l : 'a list
должна возвращать 'a list.
[18:02:27] <komar> Потсоны
[18:02:32] <komar> Почему read_line () не признает \r?
[18:03:06] <komar> Кореш мой код заюзал, грит нималаца.
[18:03:12] <komar> Мне фиксить лень, чо ему сказать?
[18:03:57] <gds> признаёт, но \n всё-таки больше признаёт.  а чисто по \r бить read_line не будет.
[18:04:27] <komar> Оно строку с \r\n на конце превращает в строку с \r на конце.
[18:05:02] <gds> ну да, поэтому я всегда обрезаю \r в конце строки, если оно там есть.
[18:05:20] <komar> КОСТЫЛN
[18:06:11] <komar> Впрочем, пойду так же сделаю.
[18:06:25] <komar> И вообще, порасплодили тут легаси.
[18:06:40] <komar> Лерой малаца хорошо зделал.
[18:07:12] <letrec> gds: спасибо, я тормоз
[18:08:17] <gds> komar: read_line должно отличаться простой семантикой, а не умом и сообразительностью.  впрочем, у каждого камло..а есть свой велосипед.  ну и добавь свой read_line в свой велосипед.
[18:15:13] <gds> но это до тех пор, пока не встретится файл, в котором строки разбиты по \r, без \n.  тут надо будет либо итераты, либо ocamllex.  впрочем, парсить простые вещи через ocamllex -- вполне так неплохо.
[18:17:09] <komar> По \r без \n пусть кто-нибудь другой парсит.
[18:18:16] <gds> хорошее решение!
[18:18:45] <komar> Кореша корешами, но надо и чувство прекрасного иметь.
[20:22:54] <gds> bobry: "и тут я кабудта ожил".  читаю, пытаюсь думать.  ну, моя старая претензия к тому, что ты делаешь зависимость от директории, а не от файла -- она остаётся, ибо "A repository is a directory containing recipes".  точно уеврен, что будешь идти по этому пути?
[20:30:10] <bobry> не уверен -- поэтому и спрашиваю :)
[20:30:44] <bobry> но то шо ты говорил (includы) в общем то параллельная фишка, не?
[20:30:50] <bobry> в смысле можно ее реализовать отдельно
[20:44:46] <gds> bobry: фишка параллельная, кое-где пересекается, но не полностью-везде.
а про директории -- мне надо ещё подумать.  как собака, "знаю, но сказать не могу", чем это плохо.  конечно, кроме озвученного ранее, что "получить директорию по http" нереально.
[21:16:26] letrec вышел(а) из комнаты
[21:21:15] dzhon вошёл(а) в комнату
[22:47:45] ermine вышел(а) из комнаты
[23:42:54] Typhon вошёл(а) в комнату
[23:45:09] <bobry> товарищи, а шо такое lenses? наткнулся случайно в одном х-левском фреймворке?
[23:45:14] <bobry> гуглится какая то жуткая академота
[23:45:21] <bobry> может кто нить на пальцах объяснить в чем бонус?
[23:46:06] <Typhon> Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire нашлось уже?
[23:46:14] <Typhon> (вроде и перевод был на русский)
[23:46:44] <bobry> я как раз хотел бы шота менее серьезное :)
[23:59:28] <gds> есть ещё другие lenses, в bidirectional programming (пирс, "бумеранг"/"harmony").