Objective Caml - Среда, 21 марта 2012

Objective Caml

ocaml@conference.jabber.ru

Среда, 21 марта 2012< ^ >

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

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

GMT+4
[00:06:01] <Kakadu> что-то мой мозг отказывается варить
[00:06:15] <Kakadu> хрен знает чего уме мой паттерн=матчинг не нравится
[00:06:22] <Kakadu> ему*
[00:11:03] <Kakadu> http://paste.in.ua/4033/
[00:11:09] <Kakadu> пойду как я в ирку
[00:20:17] gds вышел(а) из комнаты
[00:47:55] shaggie вышел(а) из комнаты
[01:21:14] ftrvxmtrx вошёл(а) в комнату
[01:25:28] bobry вышел(а) из комнаты
[01:27:24] Kakadu вышел(а) из комнаты
[02:59:21] Typhon вышел(а) из комнаты
[03:14:18] Typhon вошёл(а) в комнату
[03:14:30] <Typhon> https://twitter.com/g9/status/182204708637773825
[03:14:36] Typhon вышел(а) из комнаты
[03:19:56] letrec вошёл(а) в комнату
[03:35:28] <ftrvxmtrx> f[x], extlib/extHashtbl.mli -- "val create : int -> ('a, 'b) t" -- ?seed:int пропущено
[03:54:38] <ftrvxmtrx> такое ощущение, что ocaml 4.0 ломает абсолютно весь oasis'нутый софт
[04:22:45] letrec вышел(а) из комнаты
[06:15:36] ftrvxmtrx вышел(а) из комнаты
[06:27:10] komar вышел(а) из комнаты: Replaced by new connection
[06:27:10] komar вошёл(а) в комнату
[07:28:16] ftrvxmtrx вошёл(а) в комнату
[09:07:15] ftrvxmtrx вышел(а) из комнаты
[09:23:32] ftrvxmtrx вошёл(а) в комнату
[09:39:50] dzhon вошёл(а) в комнату
[09:43:14] dzhon вышел(а) из комнаты
[10:07:02] komar вышел(а) из комнаты
[10:07:41] komar вошёл(а) в комнату
[10:17:42] superbobry вошёл(а) в комнату
[10:18:11] gds вошёл(а) в комнату
[10:19:31] <superbobry> 4.0?
[10:47:16] dzhon вошёл(а) в комнату
[11:17:39] ermine вошёл(а) в комнату
[11:19:04] <ftrvxmtrx> да, 4.0
[11:19:17] <ftrvxmtrx> через полгода будет 5.0, наверное
[11:19:36] ftrvxmtrx вышел(а) из комнаты
[11:22:38] <superbobry> это уже официально?
[11:22:39] dzhon вышел(а) из комнаты: Replaced by new connection
[11:22:43] dzhon вошёл(а) в комнату
[11:31:07] ftrvxmtrx вошёл(а) в комнату
[11:34:42] <ftrvxmtrx> релиз будет зваться 4.0, официально
[11:35:11] <superbobry> чего же они там поломали та ..
[11:35:31] ftrvxmtrx вышел(а) из комнаты
[11:35:43] ftrvxmtrx вошёл(а) в комнату
[11:37:03] ftrvxmtrx вышел(а) из комнаты
[11:37:19] ftrvxmtrx вошёл(а) в комнату
[11:37:58] klapaucius вошёл(а) в комнату
[11:38:52] <ftrvxmtrx> в каждом setup.ml приходится менять "%S%S@" на то же без @
[11:39:48] <ftrvxmtrx> в extlib и batteries всплыли проблемы с сигнатурой
[11:41:40] <ftrvxmtrx> и где-то в hash table окамла теперь есть функция stats, обязательная
[11:42:33] <ftrvxmtrx> в окамле теперь $ будет как в х-е :)
[11:42:36] <klapaucius> sml/nj тоже внезапно решил стать 4.0 (вместо 110.75)
[11:46:25] ftrvxmtrx вышел(а) из комнаты
[11:49:50] ftrvxmtrx вошёл(а) в комнату
[11:50:16] ftrvxmtrx вышел(а) из комнаты
[11:51:37] ftrvxmtrx вошёл(а) в комнату
[11:54:11] ftrvxmtrx вошёл(а) в комнату
[11:57:23] superbobry вышел(а) из комнаты
[11:57:26] ftrvxmtrx вышел(а) из комнаты
[12:18:04] superbobry вошёл(а) в комнату
[12:18:21] <superbobry> это где такое написано та?
[12:18:30] <superbobry> а насчет '$' -- good, давно пора
[12:35:16] superbobry вышел(а) из комнаты
[12:36:59] superbobry вошёл(а) в комнату
[12:56:13] f[x] вышел(а) из комнаты
[12:56:55] dzhon вышел(а) из комнаты: Replaced by new connection
[12:56:55] dzhon вошёл(а) в комнату
[12:57:16] f[x] вошёл(а) в комнату
[13:11:26] bobry вошёл(а) в комнату
[13:11:55] f[x] вышел(а) из комнаты
[13:12:25] bobry вышел(а) из комнаты
[13:13:09] bobry вошёл(а) в комнату
[13:13:46] Typhon вошёл(а) в комнату
[13:13:57] f[x] вошёл(а) в комнату
[13:20:35] shaggie вошёл(а) в комнату
[13:24:59] f[x] вышел(а) из комнаты
[13:26:25] f[x] вошёл(а) в комнату
[13:28:08] f[x] вышел(а) из комнаты
[13:33:26] f[x] вошёл(а) в комнату
[13:48:49] f[x] вышел(а) из комнаты
[13:50:42] f[x] вошёл(а) в комнату
[14:32:00] dzhon вышел(а) из комнаты
[14:32:15] dzhon вошёл(а) в комнату
[14:32:18] komar вышел(а) из комнаты
[14:36:29] komar вошёл(а) в комнату
[15:11:11] komar вышел(а) из комнаты
[15:12:23] komar вошёл(а) в комнату
[15:41:43] komar вышел(а) из комнаты
[15:44:02] komar вошёл(а) в комнату
[15:58:18] letrec вошёл(а) в комнату
[16:00:41] komar вышел(а) из комнаты
[16:00:47] komar вошёл(а) в комнату
[16:04:23] dzhon вышел(а) из комнаты: Replaced by new connection
[16:04:27] dzhon вошёл(а) в комнату
[16:45:08] komar вышел(а) из комнаты
[16:46:28] komar вошёл(а) в комнату
[17:27:44] komar вышел(а) из комнаты: Replaced by new connection
[17:27:44] komar вошёл(а) в комнату
[17:42:24] Kakadu вошёл(а) в комнату
[17:44:03] <Kakadu> среда. Ну что ж, может сегодня ocamlyacc будет ко мне благосклоннее?
[17:45:16] <bobry> гм, объясните мне глупому про что PEG парсеры?
[17:45:32] <Kakadu> там дохрена регулярок
[17:46:13] <bobry> мне вот надо ответы IMAP разобрать, серверная реализация на э-ге пользует PEG
[17:46:17] <bobry> и я не могу понять почему
[17:49:10] <Kakadu> bobry: по-моему в эрминовском комбайне нельзя сделать ни шагу, чтобы не вступить а PEG
[17:53:22] <Kakadu> таак. на свежую голову якк гораздо благосклоннее
[17:55:12] komar вышел(а) из комнаты: Replaced by new connection
[17:55:12] komar вошёл(а) в комнату
[17:56:43] <bobry> что то PEG какой-то странный
[17:56:49] <bobry> где нибудь вообще синтаксис этого чуда описан?
[17:56:56] <bobry> ermine, покажи чего почитать?
[18:00:56] <Kakadu> bobry: можешь чегонить дописать в хвост mly в барбре и посмотреть вылезет ли это в интерфейс?
[18:14:17] komar вышел(а) из комнаты
[18:15:01] komar вошёл(а) в комнату
[18:25:10] dzhon вышел(а) из комнаты
[18:37:27] <gds> peg не странный, peg тупой, и даже очень.  для некоторых применений ок, для других не ок.  я только интуитивно его понимаю, без деталей.  ermine, просвещай народ.
[18:38:56] <f[x]> экспоненциальный worst-case - в топку
[18:39:28] f[x] наблюдает второй крэш в патченом objsize за последнюю неделю
[18:39:33] f[x] в злобной печали
[18:50:19] <gds> f[x]: peg -- ну там надо смотреть на cases вообще, может там worst case не будет.
про objsize -- плохо дело.  как обычно, ломается внутри камломусорщика, или получше?
[18:52:03] <f[x]> внутри c_rec_objsize
[18:52:20] <Kakadu> ermine: а когда ты говорила посмотреть надо oasis для ОС-зависимости ты имела ввиду Flag blabla?
[18:52:28] <f[x]> индекс поля и размер value какие-то кривые
[18:52:43] <f[x]> то-ли memory corruption то ли фиг знает что - прога большая - накосячить мог кто угодно
[18:54:46] <gds> f[x]: objsize точно вызывается из нормальных условий, а не из фингализации какой-нибудь, или прочих "прерываний" рантайма?
[18:56:18] <f[x]> угу, проверил, обычный вызов (из потока)
[18:56:59] <gds> срань господня.
может пока непатченный вставить, чтобы посмотреть, в нём ли дело?
[18:58:20] <f[x]> нет репродьюса нормального, будем думать
[18:59:22] <gds> может посмотреть, на "чьих" значениях c_rec_objsize лажает?  чтобы погенерить тех значений побольше и посмотреть.
[19:00:32] <f[x]> не получилось, почему-то дебажной инфы нет нифига, а в асме грустно ковыряться было
[19:02:20] <f[x]> а, дебага нет потому что сборка такая, holy crap
[19:02:40] komar вышел(а) из комнаты
[19:03:18] komar вошёл(а) в комнату
[19:26:42] <ermine> Kakadu: нет
[19:27:56] <Kakadu> ermine: нашел
[19:36:12] <ermine> о, тут про peg рассуждают?
[19:36:41] ermine тут мотала педали часик и теперь присосалась к кефирчику
[19:38:23] <ermine> когда там мотала педали - перебирала в уме модификации markdown.peg, чтобы не давился на plain html в некоторых невнятных случаях, особенно когда хочется насрать в душу тому, кто писал текст RevisedSyntax.md
[19:41:05] <ermine> bobry: про peg надо читать на страничке его автора бьерна форда, там у него пара пдфов, синтаксис peg там приведен в общем виде без учета возможных модификаций для конкретных применений
[19:42:16] <ermine> судя по гуглу, многие пытаются воспринять синтаксис PEG, который в пдфе у аффтара называется "Example", как стандард
[19:44:14] <ermine> я кстати статью на википедии про peg не читала
[19:49:38] <Kakadu> ermine: а где можно прочитать в чем разница между os_type и systemв oasis'e?
[19:53:20] <ermine> Kakadu: тощлько в oasis manual (это команда)
[19:56:38] <Kakadu> ermine: спасибо.
[19:56:46] komar вышел(а) из комнаты: Replaced by new connection
[19:56:47] komar вошёл(а) в комнату
[19:57:17] <Kakadu> ermine: тебе 5 команд как в оазисе хватит?
[19:57:34] <Kakadu> :р
[19:58:58] <ermine> Kakadu: build, install, manual, update, только update - не апдейт рецептов, а site-lib
[19:59:12] <Kakadu> ermine: не, я про IFы
[19:59:21] <ermine> Kakadu: вообще всё переиначить надо или делать два экзешника для двух целей
[19:59:35] <ermine> а
[20:01:09] <ermine> Kakadu: я тут в проекте парсера уяснила давно, хотя все время наступаю на те же грабли: не гонись за унивесализмом, формулируй задачу как можно более узко, для частного конкретного случая, а то погрязнешь в неразрешимых проблемах и проект сдохнет
[20:01:26] <ermine> Kakadu: я требовала os_name
[20:01:31] <Kakadu> OK
[20:01:54] bobry вышел(а) из комнаты
[20:05:11] superbobry вышел(а) из комнаты
[20:06:16] komar вышел(а) из комнаты: Replaced by new connection
[20:06:25] komar вошёл(а) в комнату
[20:07:48] <ermine> Kakadu: мы пока рассматриваем if внутри блока Dep, ага?
[20:08:32] <Kakadu> не, у нас глобальный if
[20:08:41] <Kakadu> так проще закодить
[20:09:50] <ermine> а как будет? я думала
Dep sqlite3 recipe "default"
  if osname(freebsd)
    Patch "patch"
[20:10:12] <Kakadu> будет ещё endif
[20:10:48] <ermine> а зочем? indent же чотко указывает
[20:11:20] <Kakadu> мне ничто ничего никак не указывает
[20:12:11] <ermine> ладно
[20:12:33] <ermine> тоже наверное плод рассуждений gds?
[20:12:48] <Kakadu> ermine: не знаю о чем ты
[20:13:15] <ermine> Kakadu: про формат конфига
[20:13:35] <Kakadu> не, ifы я сам придумал
[20:13:39] <Kakadu> придумывал
[20:13:42] <gds> к этой мерзости я не притрагивался.  моя мерзость была "1 строка = 1 зависимость".
[20:14:01] ermine морально готовится к тому, чтобы добавить нормальную работу с indent в маркдауне
[20:17:35] <ermine> у меня markdown.peg был целиком слизан из чужого хаскильного проекта того же автора, что pandoc, но щас я уже всяко модифицирую
[20:18:12] <ermine> в оригинале автор просто превращает в строки весь хтмл без типизации, я не пошла по этому пути
[20:22:48] <ermine> gds: мало 1 строка = 1 зависимость, будут проблемы когда барбра научится смотреть в site-lib: скажем, lwt по дефолту собирается без lwt-react, lwt-ssl, а ocsigen захочет их
[20:26:26] Typhon вышел(а) из комнаты
[20:31:34] ftrvxmtrx вышел(а) из комнаты
[20:33:19] <Kakadu> меня бесит ворнинг №4. Зверски
[20:35:41] <ermine> а что за варнинг?
[20:40:05] <Kakadu> Fragile pattern matching: matching that will remain complete even    if additional constructors are added to one of the variant types    matched.
[20:41:32] <f[x]> лентяй
[20:41:37] <f[x]> задизейбль
[20:41:54] <Kakadu> я вот ломаю голову как
[20:42:09] <Kakadu> то ли _oasis фиксь, то ли _tags
[20:46:03] <ermine> Kakadu: это может быть слишком общие паттерны, слишком общие
[20:46:09] <f[x]> Kakadu: _tags
[20:46:29] <f[x]> warn_
[20:47:04] dzhon вошёл(а) в комнату
[20:47:21] <gds> если это предупреждение раздражает -- либо отключить его на конкретных файлах, либо, лучше, вынести неполно-матчащие функции в "апи" (в .ml, где определён тип данных).
[20:48:05] bobry вошёл(а) в комнату
[20:50:09] <ermine> gds: а для меня это сигнал, что у меня type a = A | B - кривой тип и надо поменять его на чонить
[20:50:18] <Kakadu> <src/*.ml{,i}> : warn_A
<src/parserHelper.ml*> : warn_"-4", warn_"@a-4"
[20:50:36] <Kakadu> не помогает. что же ему хочется-то. а?
[20:51:35] <ermine> а ты подправь _tags
[20:51:56] <Kakadu> ну я это и делаю
[20:52:19] letrec вышел(а) из комнаты
[20:52:29] <ermine> Kakadu: попробуй -warn_a
[20:53:04] <ermine> true: -warn_a :)
[20:53:19] <Kakadu> одна фигня
[20:54:13] <ermine> а ты камлобилдом компилишь?
[20:54:43] <Kakadu> да
[20:56:56] <ermine> warn_l
[20:57:04] <ermine> warn_R
[20:57:09] <ermine> warn_Z
[20:57:33] <Kakadu> ты с потока эти буковки достаешь?
[20:58:05] <ermine> нет
[20:58:18] <ermine> смотрю в _tags в src/ocaml/ocamlbuild
[20:58:57] shaggie вышел(а) из комнаты
[20:59:31] <ermine> warn_A
[20:59:37] <ermine> может регистозависимое
[20:59:48] <Kakadu> warn_A и так стоит
[21:00:03] <Kakadu> LRZ не лечит
[21:00:18] <f[x]> капец
[21:00:21] <f[x]> что вы гадаете?
[21:00:37] <f[x]> ocamlc -help
[21:00:39] <f[x]> warn_e
[21:01:19] <ermine> warn_all_alphabet
[21:03:00] <Kakadu> f[x]: 1. как ты вывел warn_e
2. что написать чтобы помогло?
[21:03:17] <f[x]> Kakadu: [19:00:37] <f[x]> ocamlc -help
[21:03:29] <f[x]> true: warn_e
[21:03:42] <f[x]> но лучше для отдельных файлов
[21:03:48] <f[x]> "file.ml": warn_e
[21:04:18] <Kakadu> f[x]:  Ну проверить влоб я догадался. Не помогает
[21:06:25] <ermine> -warn-error
[21:06:47] <ermine> -warn_error_A
[21:07:20] ermine не фантазирует, /me смотрит в камлобилд
[21:08:02] <ermine> Kakadu: два последних - через запятую
[21:09:07] <f[x]> значит неправильно делаешь
[21:09:15] <f[x]> warn-error тут вообще не при чём
[21:11:54] <ermine> ну, warn_e нету в примерах
[21:12:11] <ermine> а вот без минуса его юзать - правильно
[21:15:08] <Kakadu> я вспоминаю своего универского приятеля
[21:15:23] <Kakadu> тот сдавал задачки по программированию Олечке
[21:15:28] <Kakadu> на до-диезе
[21:15:39] <Kakadu> и там оказался namespace Zaebalo
[21:19:43] <ermine> класс
[21:40:44] Typhon вошёл(а) в комнату
[21:42:27] dzhon вышел(а) из комнаты
[21:46:56] Typhon вышел(а) из комнаты: Replaced by new connection
[21:47:16] Typhon вошёл(а) в комнату
[22:00:40] komar вышел(а) из комнаты: Replaced by new connection
[22:00:40] komar вошёл(а) в комнату
[22:38:17] komar вышел(а) из комнаты
[22:46:10] komar вошёл(а) в комнату
[23:01:21] shaggie вошёл(а) в комнату
[23:04:18] klapaucius вышел(а) из комнаты
[23:31:38] bobry вышел(а) из комнаты
[23:32:02] bobry вошёл(а) в комнату
[23:43:46] Typhon вышел(а) из комнаты
[23:45:41] komar вышел(а) из комнаты: Replaced by new connection
[23:45:41] komar вошёл(а) в комнату
[23:50:07] ermine вышел(а) из комнаты