Objective Caml - Понедельник, 30 января 2012

Objective Caml

ocaml@conference.jabber.ru

Понедельник, 30 января 2012< ^ >

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

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

GMT+4
[00:00:51] <Kakadu> bobry: а русский вариант у тебя есть?
[00:01:01] <bobry> нету
[00:01:12] <bobry> gds: а что пирса то? TAPL?
[00:02:18] <gds> "бумеранг"/"harmony"
[00:03:12] <gds> http://en.wikipedia.org/wiki/Boomerang_%28programming_language%29
[00:03:42] <gds> вроде фигня, но lenses и в этом смысле есть.
[00:04:13] <gds> а в том, где с бананами -- там ничего нового не будет.  хотя перечитать для систематизации знаний -- очень полезно.
[00:07:43] <bobry> мне не для систематизации надо :) я вообще первый раз такое слышу
[00:15:03] <gds> давно не заглядывал, но вроде это классические map/fold/unfold или что-то подобное.  "менее серьёзное" не ищи, для тебя там весьма просто будет.
[00:52:10] <bobry> оке, попробую в таком случае папир который Typhon скинул :)
[00:54:24] <komar> О, бумеранг в треде.
[00:58:16] dzhon вышел(а) из комнаты
[01:09:50] Kakadu вышел(а) из комнаты
[01:26:15] f[x] вошёл(а) в комнату
[01:27:59] <f[x]> упрощенной кодерское понимание - получение конструкторов и деструкторов из одного описания
[01:28:09] <f[x]> т.е. например парсер и претти-принтер
[01:28:16] <f[x]> папир не читал
[01:31:31] <f[x]> > А тобою упоминавшийся mlDonkey как-то связан с eDonkey и eMule?
не знаю от кого пришло сообщени, поэтому отвечаю в чат :
да, нет. mldonkey (помимо прочего) реализует (частично) протокол edk. emule
[01:31:56] <f[x]> * emule это несвязанные проект с отдельным кодом который тоже реализует edk
[02:20:02] <gds> эх, если бы bidirectional было не только на строках, и был бы готовый инструмент, это было бы адски круто.  а так -- строки это уныло.  парсер-принтер -- уже хорошее применение было бы.  ну и версионность данных тоже ок.
[02:24:08] Andrey Popp вышел(а) из комнаты
[02:31:05] f[x] вышел(а) из комнаты: Logged out
[02:31:27] f[x] вошёл(а) в комнату
[03:03:32] letrec вошёл(а) в комнату
[03:14:13] Typhon вышел(а) из комнаты: Replaced by new connection
[03:14:15] Typhon вошёл(а) в комнату
[03:30:28] f[x] вышел(а) из комнаты: Computer went to sleep
[09:25:36] komar вышел(а) из комнаты
[09:26:31] komar вошёл(а) в комнату
[09:43:07] dzhon вошёл(а) в комнату
[09:52:56] Andrey Popp вошёл(а) в комнату
[11:19:21] bobry вышел(а) из комнаты
[11:34:15] ermine вошёл(а) в комнату
[11:42:08] ftrvxmtrx вышел(а) из комнаты
[11:52:53] Andrey Popp вышел(а) из комнаты
[12:04:36] ftrvxmtrx вошёл(а) в комнату
[12:05:34] bobry вошёл(а) в комнату
[12:20:16] Typhon вышел(а) из комнаты
[12:40:33] dzhon вышел(а) из комнаты
[12:41:58] dzhon вошёл(а) в комнату
[12:47:06] Kakadu вошёл(а) в комнату
[12:49:13] <Kakadu> f[x]: это я писал про емулю
[13:13:12] Typhon вошёл(а) в комнату
[13:56:07] Typhon вышел(а) из комнаты: Replaced by new connection
[13:56:27] Typhon вошёл(а) в комнату
[14:18:35] shaggie вошёл(а) в комнату
[14:34:36] bobry вышел(а) из комнаты
[14:36:34] bobry вошёл(а) в комнату
[15:40:44] <Kakadu> Мир летит к чертям если я начинаю писать на фадиезе в туареге
[15:41:16] dzhon вышел(а) из комнаты: Replaced by new connection
[15:41:17] dzhon вошёл(а) в комнату
[15:55:14] dzhon вышел(а) из комнаты
[15:55:32] dzhon вошёл(а) в комнату
[15:59:55] <bobry> Kakadu: а шо?
[16:00:00] <bobry> для f# нету своего режима
[16:01:26] <Kakadu> bobry: просто на диске нет места для студии, а свободный шарпдевелоп дистанционно заставляет глаза вытекать
[16:11:32] dzhon вышел(а) из комнаты
[16:12:45] dzhon вошёл(а) в комнату
[16:20:31] <letrec> решал школотронную задачку по генерации всех префиксов для списка http://ocaml.nopaste.dk/p4661
[16:20:44] <letrec> можно это лучше реализовать?
[16:21:20] <letrec> если лень вникать в детали, то стилистические замечания тоже интересны
[16:22:46] dzhon вышел(а) из комнаты: Replaced by new connection
[16:22:51] dzhon вошёл(а) в комнату
[16:25:15] dzhon вышел(а) из комнаты
[16:25:34] dzhon вошёл(а) в комнату
[16:25:41] <f[x]> letrec: а не лучше будет изначально список развернуть?
[16:26:25] <letrec> f[x]: тот, который аргументом идёт?
[16:27:04] <f[x]> угу
[16:28:03] <letrec> а чем лучше будет?
[16:30:23] <letrec> мне ещё кажется, что если последние 2 строки заменить на
List.fold_left acc_prefix ([[]], []) l |> fst
то читабельнее и букв меньше
[16:31:11] <letrec> есть общепринятое имя для возвращаемых значений? типа как l для списков?
[16:32:22] <gds> у меня обычно r[es[ult]]
[16:33:39] <letrec> в смысле тупо r? или result?
[16:33:52] <gds> и так, и так, и res
[16:34:02] <letrec> ok
[16:34:44] <letrec> а почему у листовых fold_left и fold_right порядок аргументов разный?
[16:34:47] <f[x]> letrec: аллокаций меньше
[16:34:49] <f[x]> let prefixes' l =
  let rec loop acc = function
  | [] -> acc
  | x::xs as l -> loop (List.rev l :: acc) xs
  in
  loop [[]] (List.rev l)
[16:39:50] <letrec> у тебя пустой список в конец дописывается
[16:41:06] <f[x]> а, ну []::acc
[17:18:02] ftrvxmtrx вошёл(а) в комнату
[17:46:26] dzhon вышел(а) из комнаты
[17:46:47] dzhon вошёл(а) в комнату
[17:55:30] dzhon вышел(а) из комнаты
[17:55:46] dzhon вошёл(а) в комнату
[17:58:45] dzhon вышел(а) из комнаты
[18:22:53] bobry вышел(а) из комнаты
[18:23:02] Kakadu вышел(а) из комнаты
[19:03:17] bobry вошёл(а) в комнату
[19:03:42] <bobry> мда, даже в очень популярных х-ль либах используется import Foo без явного указания функций
[19:03:45] <bobry> way to go
[19:08:54] Kakadu вошёл(а) в комнату
[20:02:27] bobry вышел(а) из комнаты
[20:26:17] letrec вышел(а) из комнаты
[20:29:01] ftrvxmtrx вышел(а) из комнаты
[20:44:10] bobry вошёл(а) в комнату
[20:48:09] Typhon вышел(а) из комнаты
[20:48:30] Typhon вошёл(а) в комнату
[21:13:21] <bobry> что добавить? https://github.com/camlunity/barbra/issues/15
[21:17:31] <gds> добавить -- include <url>, в этом есть смысл для схемы работы "внутрикорпоративные источники пакетов по http://some-local-server/path" и для интернетов.  правда вот, не знаю, как быть с кешированием, и вообще, нужно ли оно.  (за "не нужно" говорит то, что включить локальный файл таки можно будет, и кому надо, тот так и сделает.)
[21:22:17] <bobry> gds: так ли это нужно? что мешает присобачить wget в makefile?
[21:23:08] <gds> то же, что мешает присобачить wget в dep-описания.
[21:26:03] <bobry> да ладно, наврядли include так часто меняется
[21:28:52] <gds> зато проектов и хостов может быть много.  кроме того, хочется иметь готовую фишку "вставь include <some url> в brb.conf и сбилди проект с тестовыми/стабильными/какими-то-ещё версиями библиотек".
[21:32:50] <bobry> gds: аргумент принят
[21:36:35] dzhon вошёл(а) в комнату
[22:13:46] <Kakadu> ermine: А насколько сложно написать табличный парсер?
[22:37:16] gds вышел(а) из комнаты
[22:58:14] <ermine> Kakadu: парсить таблицу?
[22:59:11] <ermine> Kakadu: если какую-то штуку можно сформулировать так же, как ты видишь это своим глазом и глазом понимаешь, что это - то можно распарсить автоматически, а всё остальное зависит от количества лени в крови
[23:14:03] <Kakadu> ermine: я имел ввиду сделать хрень подобную fsyaccу
[23:14:08] <Kakadu> фсякку
[23:17:55] shaggie вышел(а) из комнаты
[23:22:15] f[x] вошёл(а) в комнату
[23:41:42] ermine разжилась новым андроинным аппаратом и посему слегка устранилась от парсеров
[23:43:18] <bobry> В общем назрел вопрос про Include -- чтобы избежать хаоса (a la Makefile) хочется ограничить возможную область использования этого ключевого слова. Пример:
<<<
Version 2
Include "/foo/bar/common.conf"
Include "stable.conf"
Dep ...
>>>
Тобишь как во всеми нелюбимом х-ле включить что-либо можно только в самом начале. Кто-что думает?
[23:45:22] <bobry> Правда использовать такие includы без Requires будет сложно
[23:47:30] <bobry> Kakadu: у тебя там времени для барбары не нарисовалось случаем?
[23:51:08] Typhon вышел(а) из комнаты
[23:54:52] <Kakadu> bobry: в дипломе конь не валялся. В очередной раз понял что не знаю что дальше делать