Objective Caml - Пятница, 13 мая 2011

Objective Caml

ocaml@conference.jabber.ru

Пятница, 13 мая 2011< ^ >

gds установил(а) тему: Камль -- http://caml.inria.fr | Логи -- http://chatlogs.jabber.ru/ocaml@conference.jabber.ru/ | Светлое будущее -- http://camlunity.ru/ | Нефильтрованное настоящее -- https://github.com/camlunity/kamlo_wiki | Портер прошлое -- http://gdsfh.dyndns.org/kamlo/ | Верблюды грязи не боятся! | release crap, enjoy NIH | репортьте баги официальным дилерам | ocaml мёртв, move on

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

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

GMT+4
[01:20:28] ermine вышел(а) из комнаты
[01:26:04] Ayata вошёл(а) в комнату
[01:37:05] Ayata вышел(а) из комнаты: I'll be back
[01:53:44] zert вышел(а) из комнаты
[01:58:54] Kakadu вышел(а) из комнаты
[02:09:29] Typhon вышел(а) из комнаты
[04:11:46] Digimmortal вышел(а) из комнаты
[07:11:13] f[x] вышел(а) из комнаты
[07:15:05] f[x] вошёл(а) в комнату
[07:50:38] Typhon вошёл(а) в комнату
[08:22:10] Typhon вышел(а) из комнаты
[09:06:11] gds вошёл(а) в комнату
[09:19:03] Typhon вошёл(а) в комнату
[10:25:07] gds вышел(а) из комнаты
[10:43:49] komar вышел(а) из комнаты: Replaced by new connection
[10:43:49] komar вошёл(а) в комнату
[11:24:34] Kakadu вошёл(а) в комнату
[11:26:48] ftrvxmtrx вышел(а) из комнаты
[11:34:32] gds вошёл(а) в комнату
[11:36:49] <gds> смех-ёчки: http://fenikso.livejournal.com/322676.html?thread=2425716
[11:36:59] gds вышел(а) из комнаты
[11:37:05] gds вошёл(а) в комнату
[11:41:28] <komar> х-та
[11:42:12] <gds> в обоих смыслах, да.
[11:42:32] <Kakadu> поздравьте меня
[11:42:49] <Kakadu> затра сдавать зачет по сетям, а я не знаю как работает таблица маршрутизации
[11:42:54] <Typhon> Kakadu: сын?
[11:43:16] <Typhon> у тебя почти сутки, для одного зачёта это довольно много даж
[11:43:56] <Kakadu> ну,
[11:44:23] <Kakadu> может
[11:44:36] <Kakadu> надо наехать на админов
[12:09:58] zert вошёл(а) в комнату
[12:14:14] zert вышел(а) из комнаты: Replaced by new connection
[12:14:15] zert вошёл(а) в комнату
[12:16:25] <gds> Typhon: ты как-то показывал свой метод добавления show через первоклассные модули.  Оно удобно?  Сейчас пользуешься?  Если да, то можешь напомнить исходник?  Не к спеху и не важно, если чо.
[12:25:11] <Typhon> gds: https://github.com/camlunity/ocaml-quickcheck/tree/first-class-modules  веточка first-class-modules . выпилил в пользу hof (ветка hof  и master).  не возникло принципиальных вещей, которые нельзя было бы сделать ХОФами там, а хофы гораздо компактнее, модули уж слишком развесисто выходили.
[12:31:24] ermine вошёл(а) в комнату
[12:38:35] <gds> Typhon: ага, посмотрел оба варианта (смотрел src/quickcheck.ml*).
факт, модулями многословно.
а мне нужен модуль, представляющий тип "число", чтобы можно было, например, open Float и поиметь валидность кода "1.2 + (of_int 345)".
[12:40:37] <f[x]> gds: pa_do
[12:40:50] <gds> буду смотреть-брать.
[12:54:00] ftrvxmtrx вошёл(а) в комнату
[14:16:55] <Kakadu> ermine: ты планируешь впиливать оксиген на camlunity  в ближайшие дни?
[14:18:40] <Kakadu> мне всё-таки немного стремно
[14:18:48] <Kakadu> препод хочет посмотреть на поделку
[15:01:59] <Typhon> https://github.com/celtic/mywiki
[15:42:01] <komar> Натравил ocamlmklib -custom, скомпилировал затем ocamlopt -linkall, а оно все равно лезет за .so'шкой. Что я могу делать не так?
[15:48:48] <gds> за какой именно сошкой?
[15:49:35] <komar> libsource-highlight.so.3
[15:49:49] <komar> Я эту либу пытаюсь вкомпилировать статически.
[15:50:19] <f[x]> custom не линкует сишные либы статически
[15:50:20] <gds> в опциях сборки .cmxa должно быть указано, что "линковать статически", вроде так.
[15:50:47] <f[x]> выбор что линковать - .so или .a - делает сишный линкер
[15:51:11] <komar> -custom
    Force the construction of a statically linked library only, even if dynamic linking is supported.
[15:51:14] <komar> Вроде оно, не?
[15:51:17] <f[x]> нет
[15:51:37] <f[x]> здесь имеется ввиду статическая линковка твоего кода
[15:51:44] <f[x]> а не всех внешних либ
[15:51:50] <komar> Плохо.
[15:51:52] <komar> А как надо?
[15:52:08] <f[x]> для ld например надо передать -ccopt "-Wl,-Bstatic -lsomelib -Wl,-Bdynamic"
[15:53:09] <f[x]> либо -ccopt -static но тогда и glibc будет статически влинкована, что приводит к ссзб
[15:54:36] <komar> Сейчас попробую что-нибудь.
[17:19:33] komar вышел(а) из комнаты
[17:50:06] komar вошёл(а) в комнату
[18:54:44] Kakadu вышел(а) из комнаты
[18:59:21] Digimmortal вошёл(а) в комнату
[19:39:02] ftrvxmtrx вышел(а) из комнаты
[19:45:03] ftrvxmtrx вошёл(а) в комнату
[19:59:10] Kakadu вошёл(а) в комнату
[20:09:10] ftrvxmtrx вышел(а) из комнаты
[20:22:33] ftrvxmtrx вошёл(а) в комнату
[20:29:48] ftrvxmtrx вышел(а) из комнаты
[20:40:38] <Kakadu> люди, вы можете завтра за меня получить зачет по компьютерным сетям?
[20:40:41] <Kakadu> )
[20:42:08] <Typhon> а что там могут спрашивать то такого, чего ты боишься, по сетям то? в универах ОСИ обычно да и по мелочи чего-нибудь. не?
[20:43:22] <Kakadu> да, что -т1 я первые пары прогулял и теперь непонимать
[20:43:50] <Kakadu> что сказать про скорости в сетях?
[20:44:19] <Kakadu> я знаю что эзернет бывает 10,100, и гигабитный
[20:44:56] <Kakadu> и ещё я плохо понимаю как NAT использует порты
[20:45:21] <ermine> сходи на intuit.ru
[20:49:54] <komar> «Основы сетей» там хорошие.
[20:49:57] <komar> Но длинные.
[20:52:18] <ermine> ну если смаковать по одной лекции в день - то да, долго
[20:53:02] <ermine> а ночи нонче укорачиваются, а дни, наоборот, удлиняются
[20:53:23] ermine с кровью в глазах выдирает memory leak из своей капчи
[20:54:11] <Typhon> Kakadu: http://ru.wikipedia.org/wiki/%D0%A4%D0%B5%D0%BD%D0%BE%D1%82%D1%80%D0%BE%D0%BF%D0%B8%D0%BB    http://ru.wikipedia.org/wiki/%D0%9F%D0%B8%D1%80%D0%B0%D1%86%D0%B5%D1%82%D0%B0%D0%BC
[20:54:30] <gds> ermine: расскажи потом, где-как нашёлся (если найдёшь, разумеется), лично мне интересно (если не чисто во внешней либе).
[20:55:46] <gds> вещества -- жестоко :)  Хотя, с другой стороны, и знания будут, и зачот будет.  Может имеет смысл.
[20:55:54] <Typhon> а можно и вику прямо
[20:56:00] <Typhon> там и раздел есть специальный
[20:56:32] <Kakadu> Typhon: не
[20:56:35] <Kakadu> я такое не ем
[20:57:10] <Kakadu> мне только несколько вопросов понять
[20:57:14] Digimmortal вышел(а) из комнаты
[20:57:16] <Kakadu> я даже на пары ходил
[20:57:29] <Kakadu> и , ура, мне NAT уже объяснили)
[20:58:34] <ermine> gds: ты про утечку? ну комментируешь блоки кода и смотришь в top, не потечет ли, потом двигаешь комменты дальше и тд
[20:59:19] <ermine> gds: я уже нашла "то" место, где течет, теперь мучаюсь другими вопросами - проблема в стыке между типизацией и кого отдавать функции free()
[20:59:31] <Kakadu> ermine: мы на выходных сможем потестить мою вику на camlunity? А то преподу тоже не терпится
[21:00:13] <ermine> Kakadu: пока не знаю, мне бы сначала потестить твое поделие на предмет утечек сначала
[21:00:25] <Typhon> Kakadu: если что, можно dyndns.org какой-нибудь использовать
[21:00:30] <ermine> чота я в этом месяце не верю камлю
[21:01:10] <ermine> гигантская утечка в оксигене, не менее внушительная утечка в капче
[21:01:23] <Kakadu> в новом?
[21:01:53] <ermine> ну в новом
[21:02:54] <ermine> gds: а поставишь лишний free() - так падает в кору совсем не там, где лишний free(), а там, где он не лишний.
[21:10:07] <gds> ermine: понял про утечку.  malloc + free = радость на годы вперёд.  так и думал, что с ними связано, но вдруг было бы в камле где-нибудь, было бы интересно.
[21:12:26] <ermine> gds: не, радость там, где в сишней библиотеке "абстрактный тип" подменивается на ходу и не знаешь как на камлевой стороне это жрать
[21:14:37] <gds> ну так там должна быть какая-то штатная "финализация"?  как-то можно же определить, подменился или нет, либо вне зависимости от этого освободить.
[21:16:34] <ermine> надо собраться с мыслями, чтобы понять это
[21:17:27] <ermine> прикольно то, что эта сишная либла падает в кору на free() глубоко внутри себя, если что-то не так сделал с этим абстрактным типом-хамелеоном
[21:17:50] <ermine> конкретно, это freetype2
[21:20:11] <Typhon> забавно, free type; free(), типы
[21:30:28] ftrvxmtrx вошёл(а) в комнату
[22:05:49] Typhon вышел(а) из комнаты
[22:17:44] <gds> я явно туплю сейчас, не могу разобраться, но вот такие вот хреновые ошибки у меня вылазят в 3.13: http://paste.in.ua/2368/ -- хреново то, что имени файла нет и вторая координата ошибки отрицательная.  По идее, camlp4 не трогал в патчах, навряд ли мои изменения.  А системного >=3.12 у меня нет.
[22:22:04] <gds> да, это под линуксом, а линукса у меня мало патчей касаются, т.е. очень-очень навряд ли, что моё.
[22:50:17] ermine наплодила malloc/free вызовов, а оно продолжает падать
[22:50:22] <ermine> чота тут не так!
[22:50:33] <ermine> впрочем, сегодня пятница, 13
[22:50:49] <Kakadu> оффтоп: между чем  и чем я могу сделать соединение РРР?
[22:51:35] <ermine> между тулзами
[22:52:43] <Kakadu> а что такое тудзы?
[22:52:46] <Kakadu> тулзы?
[22:53:20] zert вышел(а) из комнаты
[22:54:29] <ermine> ну программулька такая
[22:56:40] <Kakadu> у меня когда-то инет был через PPPoE
[22:56:50] <Kakadu> но я так и не знаю как это работает
[22:58:22] <ermine> Kakadu: ну ты ж запускал некую утилиту ppp или pppd, которая висела на интерфейсах и мухлевала с трафиком, загоняя его в нужный интерфейс и принимая его оттуда же и передавая на другие интерфейсы
[22:59:16] <Kakadu> ну вроде запускал но я не задумывался как она мне дает инет
[22:59:42] <Kakadu> если я делаю РРР, то по сути у меня 2 компа в сети же?
[22:59:54] <ermine> да зачем об этом думать, главное чтобы работало, и всё
[23:00:50] <Kakadu> завтра мне надо будет сказать как оно работает
[23:02:12] <ermine> возьми гугль: How PPP works
[23:04:28] Typhon вошёл(а) в комнату
[23:04:38] <ermine> а у меня капча типа перестала клеиться, хнык-хнык
[23:04:44] <ermine> и не понять, в чем дело
[23:06:53] <ermine> хорошо еще, что меня никакой начальник за это не побьет
[23:11:54] olegfink вошёл(а) в комнату
[23:12:55] <Typhon> gds, http://paste.in.ua/2369/ -- дамбстриминг из ббакета только что слил, камль -- 312, линупсъ
[23:14:53] <gds> Typhon: я не коммитил туда ошибку.  Сейчас попробую получить её (кривую), оформлю коммит+пуш, сообщу.  Было бы хорошо потестить, в целом.
[23:15:06] <gds> а так -- на той ревизии ошибка та же, нормальная.
[23:16:27] <gds> мда, всякие такие случаи надо фиксировать, хотя бы для дальнейших разборок, это факт.
[23:20:55] <gds> Typhon: получилось, хотя и warning.  Вот урл ревизии: https://bitbucket.org/gds/dumbstreaming#8cd9fc033d79 , и можно прямо hg clone его, например (недавно узнал о таком).
[23:24:39] <Typhon> получилось ошибку увидеть или скомпилировать? у меня unbound n_ , unused n -- http://paste.in.ua/2370/
[23:24:57] <gds> во, "File "ghost-location", line 282, characters 28--6917: "
[23:26:34] <gds> где-то такое видел, как-то давно, с тех пор не встречал.  Значит, судя по всему, они зламали препроцессор.
[23:27:58] <Typhon> у меня как-то тоже было, но я по контексту понял где ошибка, не обратил внимание, пофиксил и забыл про это :-) :-[
[23:28:57] <gds> ага, так же делаю, и емакс предлагает "дайте таки всё же имя файла нормальное", и где-то в 20% криво всплывает, в остальном нормально.
[23:31:10] <gds> а вот и однострочник для повторения ошибки:
$ cd /tmp && echo 'value f x = ();' > q.ml && ocamlc -w A -pp camlp4r q.ml -o q.byte
File "ghost-location", line 1, characters 8-0:
Warning 27: unused variable x.
надо репортить.
[23:35:48] <Typhon> в 12 тоже
[23:36:51] <Kakadu> дык это же ворнинг?
[23:37:44] <gds> были и ошибки подобные, если память не изменяет.
[23:38:47] <Typhon> ворнинг -- это ошибка :-) фишка в том, что имени нету
[23:41:41] <gds> http://caml.inria.fr/mantis/view.php?id=5265 , и автоматически assigned to ertai.  Бесчеловечно эксплуатируют Колю.
[23:46:23] <Typhon> а что за ertai, не могу его фио нагуглить пока :-)
[23:46:25] <gds> кстати, обозрел свои патчи к окамлу.  всего порядка 4..5 багов из 12 патчей.  думал, что больше будет.
[23:46:33] <Typhon> а, нашёл
[23:47:18] <Typhon> в смысле, ты закрываешь 4-5 багов своими патчами, или в твоих патчах нашлось 4-5 багов с новой версией камла?
[23:49:17] <gds> первое.  А по сравнению с новой версией у старых патчей было достаточно несовместимостей, но только одна серьёзная (с хаком сокетов).
А остальные патчи (8-7) скорее про конфигурирование под мингвом при отсутствии внятных ручек и при указании "просто отредактируйте такой-то файл".
[23:50:01] <gds> но баги там вендоспецифичные, а может и не баги, просто у кого-то цыгвын стоит, и там всё работает.
[23:53:08] <Typhon> а мингв и цигвин наверняка ж дефайнят какие-то свои дефайны, может тогда патчи дооформить и засабмитить, глядишь -- примут?
[23:55:43] <gds> не поможет: согласно ридми.вин32 собирать камло под мингвом нужно непременно имея цыгвиновский баш.
хотя там кое-что есть неспецифичное для баша.  Буду думать, в todo записал.