Objective Caml - Среда, 21 сентября 2011

Objective Caml

ocaml@conference.jabber.ru

Среда, 21 сентября 2011< ^ >

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

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

GMT+4
[00:00:49] Typhon вышел(а) из комнаты
[00:01:37] <bobry> Kakadu: откуды собирать?
[00:01:58] <Kakadu> github.com/Kakadu/lablqt
[00:04:07] <bobry> Kakadu: расскажешь как? а то там шота не оазис и не Makefile
[00:04:32] <Kakadu> cd xml && touch .depend && mkae depend && make
[00:06:19] <Kakadu> надо всё-таки как-то освоить оазис
[00:08:20] Typhon вошёл(а) в комнату
[00:09:28] <Kakadu> так, ридми корневой слегка пофиксил, но не спеши обновляться. Завтра планирую допереписать кусок кодогенерации
[00:21:58] Typhon вышел(а) из комнаты
[00:24:04] <Kakadu> bobry: ты там живой?
[00:24:14] <bobry> Kakadu: правлю PKGBUILD для ocamlnet'a ага
[00:29:49] Typhon вошёл(а) в комнату
[00:30:07] <Kakadu> черт, теперь типовыводилка камля меня троллит
[00:31:12] komar вошёл(а) в комнату
[00:34:21] <Kakadu> люди, почему http://paste.in.ua/3076/ компилится а http://paste.in.ua/3077/ нет?
[00:34:46] <Kakadu> This expression has type
         Parser.func_arg List.container * string List.t
       but an expression was expected of type Parser.func_arg list
[00:36:28] bobry вышел(а) из комнаты
[00:36:33] bobry вошёл(а) в комнату
[00:39:59] <komar> Твою мать.
[00:40:04] <komar> Что с сайтом оксигена сделали?
[00:40:25] <bobry> Kakadu: все скомилилось
[00:40:29] <bobry> komar: модный теперече
[00:40:34] <Kakadu> komar: новый
[00:40:38] <Kakadu> красивый
[00:40:43] <Kakadu> вебдванольненький
[00:40:44] <komar> Оксиген зашкварен.
[00:40:49] <komar> Окамл тоже.
[00:41:04] <Kakadu> bobry: что именно всё?
[00:41:06] <bobry> а шо камл?
[00:41:21] <bobry> Kakadu: ну то шо ты сказал -- make depend all
[00:41:46] <Kakadu> ну пробуй запустить main.opt -xml
[00:42:06] <Kakadu> и mkdir out перед этим
[00:42:31] <bobry> а теперь куча ошибок not in index
[00:42:33] <bobry> так и должно быть?
[00:42:51] <Kakadu> это скорее ворнинг
[00:42:54] <Kakadu> это норм
[00:42:59] <bobry> вообще много чего печатает
[00:43:03] <bobry> can't cast ...
[00:43:09] <Kakadu> норм
[00:43:18] <Kakadu> в out должны быть три ml файла
[00:43:19] <bobry> шо теперь?
[00:43:27] <bobry> есть
[00:43:30] <Kakadu> в out/cpp многочего .cpp
[00:43:42] <bobry> ага
[00:43:58] <bobry> make в out/ непроходит -- no module Stub_helpers
[00:44:07] <Kakadu> да
[00:44:15] <Kakadu> cd mkae/cpp
[00:44:20] <Kakadu> тьфу
[00:44:41] <Kakadu> cd out/cpp && make -jчто-то там
[00:45:01] <bobry> headers.h хочет
[00:45:20] <bobry> это которые enum_headers.h?
[00:46:13] <Kakadu> которые lablqt/test_gen/headers.h
[00:46:31] <Kakadu> там просто я мудрёно натворил
[00:46:58] <Kakadu> test_gen - директория где всякий хлам для нагенеренного кода
[00:47:19] <Kakadu> в том числе и headers.h и stub_helpers.ml
[00:47:33] <bobry> мне надо явно -I../../../test_gen указать?
[00:47:35] <Kakadu> у меня стоит симлинк в test_gen на ../xml/out
[00:48:12] <bobry> мне кажется надо что то делать с билдом :)
[00:48:13] <Kakadu> нет, можно просто сделать симлинк в xml на ../test_gen/headers.h
[00:48:32] <Kakadu> мне всё было лень писать конфигуре-скрипт
[00:49:42] <Kakadu> bobry: давай помучаемся, а завтра с утра я подумаю над оазисом или чем-то таким
[00:49:48] <bobry> Kakadu: самое время таки взять и написать его :)
[00:49:54] <bobry> там не один а 4 симлинка надо
[00:50:19] <bobry> я не в курсе как оазису рассказать про сишные файлы, но можно попробовать
[00:50:39] <Kakadu> ну можно не оазис, а чтонить поумнее разыскать
[00:51:00] <Kakadu> может простой configure на баше ОК
[00:51:35] <bobry> оно вообще долго должно компилится?
[00:51:39] <bobry> а то я спать уже собирался :)
[00:51:48] <Kakadu> С++ долго
[00:51:55] <bobry> 10-20min?
[00:52:00] <Kakadu> да
[00:52:06] <Kakadu> и камло минут 10
[00:52:09] <bobry> пойду я тогда спать, с утра продолжу
[00:52:14] <Kakadu> там  5 метровый mlка
[00:52:18] <bobry> что сделать када плюсы скомпилятся?
[00:52:23] <Kakadu> и отожрет он полтора гига
[00:52:45] <Kakadu> cd ../test_gen; mkdir out; mkae; mkae test
[00:53:13] <Kakadu> тьйу
[00:53:16] <Kakadu> тьфу
[00:53:25] <bobry> ага
[00:53:33] <bobry> make test в test_gen в общем, да?
[00:53:39] <Kakadu> да
[00:54:03] <Kakadu> самое важное чтобы test_gen указывал на ../xml/test_gen
[00:54:22] <Kakadu> out в test_gen *
[00:54:41] <Kakadu> надо будет мне завтра встать пораньше
[00:55:03] <komar> Давайте коллективное письмо в [ocsigen] писать.
[00:55:21] <Kakadu> komar: да норм там вё
[00:55:24] <Kakadu> всё
[00:55:40] <Kakadu> смотри какой сайт красивенький
[00:55:52] <komar> Толсто.
[00:55:58] Kakadu вышел(а) из комнаты
[01:02:58] Typhon вышел(а) из комнаты
[01:10:33] Typhon вошёл(а) в комнату
[01:13:57] Typhon вышел(а) из комнаты
[01:15:24] ftrvxmtrx вошёл(а) в комнату
[01:15:24] ftrvxmtrx вышел(а) из комнаты
[01:20:11] ygrek вышел(а) из комнаты
[01:22:42] Typhon вошёл(а) в комнату
[01:25:15] Typhon вышел(а) из комнаты
[01:33:47] Typhon вошёл(а) в комнату
[01:41:07] bobry вышел(а) из комнаты
[01:41:42] bobry вошёл(а) в комнату
[01:44:45] Typhon вышел(а) из комнаты
[01:51:51] Typhon вошёл(а) в комнату
[02:30:09] bobry вышел(а) из комнаты
[02:31:08] bobry вошёл(а) в комнату
[03:25:53] Typhon вышел(а) из комнаты: Replaced by new connection
[03:25:56] Typhon вошёл(а) в комнату
[03:38:37] letrec вошёл(а) в комнату
[03:46:09] Typhon вышел(а) из комнаты
[04:46:39] letrec вышел(а) из комнаты
[07:00:22] zert вошёл(а) в комнату
[08:36:15] gds вошёл(а) в комнату
[09:43:19] <bobry> Kakadu, если что test1 запустился -- только пришлось LD_LIBRARY_PATH ставить ручками
[10:07:12] shaggie вошёл(а) в комнату
[11:12:11] bobry вошёл(а) в комнату
[11:24:44] klapaucius вошёл(а) в комнату
[11:36:57] Kakadu вошёл(а) в комнату
[11:37:33] <Kakadu> bobry: ну круто. А последний тест наверное тоже?
[11:38:23] <bobry> Kakadu: я если честно только один собрал
[11:39:01] <Kakadu> просто юзерские слоты не в первом тесте
[11:39:04] <Kakadu> ну да ладно
[11:39:17] <Kakadu> чтобы такое сделать с билд-скриптом?
[11:41:15] <bobry> я конечно за oasis — только у тебя там кодогенерация, не знаю как он с ней работает
[11:50:49] shaggie вышел(а) из комнаты
[12:21:22] Typhon вошёл(а) в комнату
[12:47:44] Kakadu вышел(а) из комнаты
[12:47:59] Kakadu вошёл(а) в комнату
[13:23:58] <f[x]> интересно нафига нужны три предиката - mt mt_vm и mt_posix вместо только последних двух??
[13:24:53] <f[x]> чуть моск не сломал пока не догнал как правильно ocamlfind query для скрипта использующего либу с тредами делать
[13:35:55] komar вышел(а) из комнаты: Replaced by new connection
[13:35:55] komar вошёл(а) в комнату
[14:11:07] bobry вышел(а) из комнаты
[14:23:17] <gds> f[x]: расскажешь/покажешь?
[14:51:00] <gds> а у меня опять объектные стродания: http://paste.in.ua/3080/
[14:53:09] <gds> а хотя нет, http://paste.in.ua/3081/
[15:06:46] <f[x]> ocaml -I extra $(shell ocamlfind query -separator '' -predicates mt,mt_posix,byte -recursive -format '-I %d %A %O' kit) zabbix.cmo util.cmo $<
[15:07:04] <f[x]> как-то так ^^
[16:30:23] bobry вошёл(а) в комнату
[16:33:44] shaggie вошёл(а) в комнату
[16:45:46] <gds> однакоо...  Даже если известен класс объекта, в некоторых случаях для вызова полиморфного метода требуется явно приписать тип объекту:
obj#meth a b
не сработает, а вот
(obj : < meth : 'a 'b . 'a -> 'b -> something ; .. > )#meth a b
-- сработает.
пример на живом коде покажу, как trie докодю в кадастре.  внезапно понадобились до усрачки.
[16:53:36] <f[x]> на моей памяти что-то похожее обсуждалось в list'е
[16:55:48] <gds> вот, а я не помнил об этом.  Хотя и как такое можно нагуглить вообще, не представляю.  Спросить, разве что.
[17:07:15] <f[x]> gds: посмотри http://caml.inria.fr/pub/ml-archives/caml-list/2009/09/a9e8880f562a819585fa1cd260ff97c2.en.html
[17:07:16] <bobry> offtop: odb как то сильно похорошел за последнее время — никто не пользует?
[17:08:28] <f[x]> http://caml.inria.fr/pub/ml-archives/caml-list/2001/11/847840b395072d0b7404c59d4f6e2068.en.html
> For instance, you cannot define a map method, even with polymorphic methods.
бгг!
[17:08:59] <f[x]> они десять лет скрывали это!
[17:12:25] <klapaucius> А что смешного?
[17:14:46] <Kakadu> klapaucius: gds недавно пытался его написать
[17:15:43] <klapaucius> Да уж, обхохочешься.
[17:16:43] iNode вышел(а) из комнаты
[17:20:19] <f[x]> убогим камловодам остаётся только смеяться над своей ограниченностью
[17:20:46] Нacтя вошёл(а) в комнату
[17:20:48] Нacтя вышел(а) из комнаты
[17:23:24] <gds> f[x]: прочитал все сообщения в этих тредах.  Да уж, тут надо серьёзно подумать, как сделать так (если вообще возможно), чтобы и типы всегда выводились единственным образом, и obj#map был.  Да, по сути, obj#map мне был нужен как пример, на самом деле те извращения не подошли бы для реальных целей наверное.  В общем, нужно быть чуть проще.
[17:24:08] <f[x]> старые треды забавно читать
[17:24:47] <gds> да, если только сам не участвовал там.
[17:27:17] <f[x]> у меня тогда ещё кампутера даже не было :)
[17:27:58] <gds> резво ты взял старт, стало быть.
[18:06:50] letrec вошёл(а) в комнату
[18:14:12] <Kakadu> А почему я не могу в можуле Unix найти функции наподобе exists?
[18:14:27] <komar> Кто exists?
[18:14:38] <Kakadu> файл exists
[18:14:43] <komar> Sys.file_exists
[18:14:48] <komar> Глобально и надежно.
[18:15:17] <Kakadu> отлично, спасибо
[18:21:30] <f[x]> см. также Unix.stat
[18:27:52] arhibot вошёл(а) в комнату
[18:27:56] arhibot вышел(а) из комнаты
[18:28:26] <gds> а подскажите, где смотреть тесты в ounit + oasis?  желательно какой-нибудь тупак, так как апи примерно понятно.
[18:29:59] <Kakadu> gds: ну  в core есть тесты...
[18:38:05] <f[x]> extunix
[18:40:53] iNode вошёл(а) в комнату
[19:03:11] shaggie вышел(а) из комнаты
[19:48:30] letrec вышел(а) из комнаты
[19:48:44] shaggie вошёл(а) в комнату
[19:52:29] <f[x]> poor man's overloading -> http://camlspotter.blogspot.com/2011/09/small-patch-for-bizarre-but-user.html
[19:57:11] <gds> OVERLOATHE
[20:09:03] bobry вышел(а) из комнаты
[20:09:12] bobry вошёл(а) в комнату
[20:09:35] bobry вышел(а) из комнаты
[20:55:33] хватт вошёл(а) в комнату
[20:58:30] <komar> zert: скажи заебатору, чтобы помог угничу с составлением запросов, а то она из-за этого не хочет на жуйке подписки на теги делать.
[21:03:36] <хватт> komar: тык
[21:03:52] <komar> хватт: привет.
[21:06:11] <хватт> komar: привет осип
[21:06:48] <komar> Кто?
[21:07:58] <хватт> komar: кто кто я тебя не трогал
[21:08:55] komar ничего не понял.
[21:09:03] Typhon вышел(а) из комнаты
[21:09:08] <хватт> komar: кто это там волосы транслировал
[21:10:52] <gds> в кадастре ( https://bitbucket.org/gds/cadastr/ ) добавил оазис, добавил тесты.  гламурненько.  ну и trie тупые тесты проходит (но мало).
[21:15:55] <gds> ну, собственно, то самое приписывание типа: https://bitbucket.org/gds/cadastr/src/tip/src/cadastr.ml#cl-483 , хотя мало кому интересно.  Так, на будущее.
[21:29:02] <Kakadu> Ну я попилил билд-скрипт для lablqt, теперь bobry должен поменьше ругаться..
[21:31:29] <хватт> ахаа
[21:32:12] <хватт> брутальная где то рядом
[21:32:19] <komar> В ходе переписки с хваттом в привате выяснилось, что он шальной наркоман, уберите его.
[21:33:06] <хватт> komar: скажи мне кто эта
[21:33:41] <хватт> komar: ты скажешь пусть сама скажет ахахаааа
[21:34:46] <хватт> komar: а она не скажет вот тебе и круг
[21:35:07] <хватт> по которому я вечно ходить не буду
[21:35:19] <хватт> гг
[21:36:44] <хватт> komar и кого это ты угничем назвала,
[21:37:17] shaggie вышел(а) из комнаты
[21:42:28] <хватт> аааа какой я седой,
[21:44:10] хватт вышел(а) из комнаты: QIP Infium: Спокойное общение
[22:02:13] ygrek вошёл(а) в комнату
[22:26:42] Typhon вошёл(а) в комнату
[22:44:09] Typhon вышел(а) из комнаты
[23:07:27] Typhon вошёл(а) в комнату
[23:07:33] Typhon вышел(а) из комнаты: offline
[23:09:10] ygrek вышел(а) из комнаты
[23:09:18] ygrek вошёл(а) в комнату
[23:35:18] ygrek вышел(а) из комнаты
[23:35:51] gds вышел(а) из комнаты