Objective Caml - Среда, 21 декабря 2011

Objective Caml

ocaml@conference.jabber.ru

Среда, 21 декабря 2011< ^ >

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

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

GMT+4
[00:58:21] Andrey Popp вошёл(а) в комнату
[00:58:54] <gds> Andrey Popp: у тебя на маке уже завёлся ocaml+findlib?
[00:59:29] <Andrey Popp> gds: ага
[00:59:37] <gds> а оазис?
[00:59:43] <Andrey Popp> тоже
[01:00:59] <gds> тогда отбой.  думал, вдруг будет интересно попробовать завести оазис с барброй.
[01:01:57] <Andrey Popp> будет, будет, я чуть позже попробую обязательно — я портировал все эти штуки в homebrew, а по хорошему надо вот таким вот инсталлятором воспользоваться
[01:04:15] <gds> понял, было бы неплохо.  я тут текущий cwn почитал, там опять же те же проблемы с оазисом.  ну, как будет желание, сообщи.  кстати, в спеке на барбру есть проект про virtual environment, если вдруг что-то явно криво или можно улучшить, сообщи.
[01:04:35] <Andrey Popp> ок
[01:04:56] Typhon вошёл(а) в комнату
[01:07:59] Andrey Popp вышел(а) из комнаты
[01:08:09] Andrey Popp вошёл(а) в комнату
[01:23:19] Kakadu вышел(а) из комнаты
[01:28:07] f[x] вошёл(а) в комнату
[01:57:46] f[x] вышел(а) из комнаты
[02:12:25] <gds> о, гмыло впервые показало рекламу j.street.  посоны к успеху идут.
[02:14:19] <bobry> йома, как меня утомляют эти С++ оптимизации.. из за зверских лимитов по памяти, приходится экономить каждый байт :(
[02:14:32] <bobry> разумеется решение на камле можно даже не писать
[02:14:37] <bobry> при таком раскладе
[02:14:48] dzhon вышел(а) из комнаты
[02:15:40] <Andrey Popp> bobry: написать на ocaml, чтобы сгенерить C++ !
[02:19:00] <gds> bobry: бери ATS!11
[02:21:24] <bobry> gds: да с ATS больше возни будет
[02:24:52] <gds> о да.  именно таким же образом я отмазываюсь от агды.
[04:50:54] komar вышел(а) из комнаты: Replaced by new connection
[04:50:54] komar вошёл(а) в комнату
[05:39:43] letrec вошёл(а) в комнату
[05:39:54] letrec вышел(а) из комнаты
[05:40:09] letrec вошёл(а) в комнату
[06:02:48] <bobry> Andrey Popp: оазис уже ставится через brew?
[06:58:23] bobry вышел(а) из комнаты
[06:59:46] bobry вошёл(а) в комнату
[07:00:43] bobry вышел(а) из комнаты
[07:03:33] bobry вошёл(а) в комнату
[07:22:08] Andrey Popp вышел(а) из комнаты
[07:22:32] Andrey Popp вошёл(а) в комнату
[07:37:09] ermine вошёл(а) в комнату
[09:30:11] Andrey Popp вышел(а) из комнаты
[11:06:19] Andrey Popp вошёл(а) в комнату
[11:06:38] <Andrey Popp> ищи
[11:06:47] <Andrey Popp> не туда
[11:06:57] <Andrey Popp> bobry: я не пушил в апстрим
[11:50:45] ftrvxmtrx вошёл(а) в комнату
[11:51:57] Andrey Popp вышел(а) из комнаты
[11:59:52] Typhon вышел(а) из комнаты
[12:46:13] Kakadu вошёл(а) в комнату
[13:05:32] <f[x]> barbra сознательно >= 3.12 ?
[13:05:36] <f[x]> тогда укажите ограничение в _oasis
[13:05:41] <f[x]> https://build.ygrek.org.ua/jenkins/job/barbra/2/label=master,ocaml=default/console
[13:18:44] <f[x]> letrec: allocation-free даст тебе то что тред не будет отпускать лок и все остальные треды будут тупить, а не паралелизм :)
[13:19:27] <f[x]> чисто теоретически allocation-free камлевый код без вызовов сишных функций можно выполнять паралельно - но это абсолютно неинтересный случай
[13:20:24] <f[x]> letrec: допиши тогда в гуглодок про шгоди раз ты "опытный" кролик :)
[13:20:32] <f[x]> * годи
[13:33:30] Typhon вошёл(а) в комнату
[13:41:53] Andrey Popp вошёл(а) в комнату
[14:27:15] klapaucius вышел(а) из комнаты
[14:28:07] klapaucius вошёл(а) в комнату
[15:21:39] gds вышел(а) из комнаты
[15:54:12] komar вышел(а) из комнаты: Replaced by new connection
[15:54:15] komar вошёл(а) в комнату
[16:18:01] <f[x]> я не могу спокойно смотреть на мантис
[16:19:02] <ftrvxmtrx> а что с ним?
[16:22:53] <f[x]> да там каждый день пачка апдейтов
[16:23:10] <f[x]> раньше неделями тишина
[16:23:27] <f[x]> а сейчас коммитят как не в себя
[16:23:35] <f[x]> хотя релиз вроде ещё не скоро
[16:37:26] <letrec> f[x]: а документ всем на запись открыт? truЪ open source?
[16:37:30] gds вошёл(а) в комнату
[16:37:43] <f[x]> letrec: я анонимно редактировал
[16:44:33] <gds> f[x]: а чо, в <3.12 нет let open Module in?
[16:52:22] <f[x]> угу, см. лог
[16:52:56] <f[x]> пофиксить?
[16:53:16] <gds> ну хз, стоит ли переписывать под меньшие версии.  они у кого-то ещё есть?
[16:53:35] <f[x]> у меня :)
[16:53:42] <f[x]> ну решайте
[16:53:55] <f[x]> mldonkey >= 3.10 декларирует
[16:54:57] <gds> впрочем, конкретно в src/common.ml можно сразу перед 18ой строкой сделать open UnixLabels и не париться.  Проблема в том, что дальше тоже дофига подобного.  Сейчас погрепаю по "let open".
[16:56:07] <f[x]> я пофиксю
[16:56:21] f[x] за то чтобы быть максимально совместимыми
[16:56:44] <f[x]> это ж инфраструктурная тулза
[16:57:19] <f[x]> аргх module type of
[16:57:41] <gds> не, module type of тоже фигня, там вообще сигнатуру надо удолить.
[16:58:02] <gds> в общем, я сейчас перепишу всё.
[16:58:09] <gds> или уже взялся?
[16:58:19] <f[x]> уже
[16:58:54] <f[x]> а фиг
[16:59:05] <f[x]> map_filter
[16:59:17] <gds> там эта функция не используется, которая в Res.Sys, и весь Res.Sys мочить можно.
[16:59:21] <gds> а что map_filter?
[16:59:39] <f[x]> полиморфные аргументы
[16:59:45] <f[x]> явно полиморфные
[16:59:48] <f[x]> как там оно называется
[17:00:27] <gds> мочи их, они там для гарантии того, что проинферрится правильный тип.
[17:01:03] <f[x]> ок
[17:01:23] <gds> Res.Sys тоже уже не нужен, мочи и из структуры, и из сигнатуры.
[17:01:53] <f[x]> open Global
module G = Global
[17:01:55] <f[x]> жжоте
[17:02:31] <gds> это контрольная привязка.  на случай, если open даст осечку :]
[17:02:47] <f[x]> контрольный open в голову
[17:03:07] <f[x]> да вы там угорели по 3.12 фичам
[17:03:18] f[x] слоупок какой-то
[17:04:17] <gds> лол, а что на этот раз?
[17:04:44] <f[x]> та просто много всего :)
[17:09:09] <f[x]> собралось вроде
[17:12:55] schurshik вошёл(а) в комнату
[17:12:55] <f[x]> пушнул
[17:15:39] <gds> на вид -- чотко.
[17:15:55] <gds> и собирается.  шок.
[17:18:35] <f[x]> даже тесты проходит!!111
[17:18:35] shaggie вошёл(а) в комнату
[17:24:31] <gds> главное, чтобы компилятор не начал жаловаться на слишком старомодный код.
[17:25:20] <f[x]> бгг, камло -- нет
[17:30:11] <gds> http://caml.inria.fr/mantis/view.php?id=5352 -- какой-то несерьёзный ответ.
[17:32:14] <f[x]> gds: почему?
[17:32:37] <gds> потому что, почти уверен, в документации об этом не сказано.
[17:33:02] <f[x]> а где ты документация на camlp4 видел?? o_O
[17:36:29] <gds> ответ принят.
[18:38:57] <f[x]> http://build.ygrek.org.ua/jenkins/view/All/job/barbra/3/
[18:40:53] <f[x]> на винде - проблема с моей стороны
[18:41:43] <f[x]> остальное - Printexc.register_printer появился в 3.11.2
[18:42:25] schurshik вышел(а) из комнаты: qutIM : Jabber plugin
[18:44:06] <f[x]> выпилил
[18:46:03] <gds> f[x]: register_printer сознательным образом не используется.  если ты именно его выпилил, то правильно.
[18:47:09] <gds> кстати, ещё одна польза от независимости от внешних либ.  там бы так легко не выпилился register_printer.  надо было бы либо мерзско хакать, либо вести долгие переговоры с апстримом.
[18:49:26] <f[x]> забандлил запатчил и всё
[18:49:48] <gds> и разработал процiдурку бутстрапа / сборки.
[18:49:54] <f[x]> mldonkey так делает (не то чтобы я был сильно доволен)
[18:49:55] <f[x]> ну да
[18:50:01] <f[x]> но всё ради юзерей
[18:50:06] <f[x]> а инфраструктуры нет
[18:50:12] <f[x]> уже почти есть :)
[18:50:32] schurshik вошёл(а) в комнату
[18:56:38] <gds> f[x]: давай новую сборку jenkins'ом, ну и сообщи, если что-то надо фиксить.
[18:57:46] <f[x]> ща, я виндовый слейв пофикшу
[19:07:22] <gds> f[x]: если там что-то, что требует не только ocaml+findlib, выноси на обсуждение.  пока одна из целей -- именно указанные внешние зависимости.
[19:55:54] <f[x]> gds: http://build.ygrek.org.ua/jenkins/job/barbra/label=ygrek-i386-win2k,ocaml=3.12.1+rc1/5/console
[19:55:57] <f[x]> FAIL
[19:57:30] <gds> тупак, ща поправлю.
[19:59:43] Andrey Popp вышел(а) из комнаты
[19:59:51] <gds> f[x]: есть.
[20:01:07] <f[x]> добавить твой email на fail'ы?
[20:04:12] <gds> для барбры -- да.
[20:05:14] <f[x]> done
[20:09:13] <gds> а насчёт дальнейшей разработки барбры -- я жду от "основной команды" дальнейших действий (вычитка-комментирование-реализация планов на 1.1), от f[x] -- проекта на "--dest=default", от дженкинса -- фейлов в мыло.  дальше занимаюсь другими делами и в разработку барбры не включаюсь.
[20:09:39] f[x] в очередной раз ничего не обещает!
[20:11:04] <gds> если будет надо -- сформулируешь.  (как вариант, можешь сразу накодить, но это плохо для документации / для обсуждения; только в случаях полной уверенности, что всё делаешь правильно.)
[20:11:53] schurshik вышел(а) из комнаты: Replaced by new connection
[20:11:55] <Kakadu> schurshik: давай накодь нам в барбаре. Успеешь ещё свой диплом запилить! :)
[20:12:01] <Kakadu> ну вечно он так
[20:13:47] <gds> а разве в барбре сейчас затык с "кодить"?
[20:14:16] <Kakadu> кодить документацию
[20:14:34] schurshik@jabber.ru вошёл(а) в комнату
[20:14:41] <Kakadu> во
[20:16:29] <schurshik@jabber.ru> 2Kakadu: надо Кознова тащить=-O
[20:17:27] schurshik@jabber.ru вышел(а) из комнаты
[20:17:39] ftrvxmtrx вышел(а) из комнаты
[20:28:27] <f[x]> https://github.com/hcarty/odb/blob/master/getting-started.md
[20:28:42] <f[x]> в irc комменты к этому на смежную с brb тематику
[20:38:58] <gds> сраная ноосфера.
[20:47:03] bobry вышел(а) из комнаты
[20:47:54] bobry вошёл(а) в комнату
[21:14:03] dzhon вошёл(а) в комнату
[22:02:29] Typhon вышел(а) из комнаты
[22:09:12] f[x] вошёл(а) в комнату
[22:16:24] <f[x]> > This afternoon, in a fit of boredom, I rebooted my home PC under Windows 7,
> resisted the urge to play Portal 2, installed Cygwin, then Emacs, then FlexDLL,
> then felt a little less lonely, then merged together the various OCaml/mingw64
> patches floating around, and added a bit of house dressing on it.
[22:22:51] <komar> Сильно.
[22:29:54] <f[x]> у xl похоже отпуск :)
[22:55:55] dzhon вышел(а) из комнаты
[23:09:19] shaggie вышел(а) из комнаты
[23:25:41] Andrey Popp вошёл(а) в комнату