Objective Caml - Пятница, 2 марта 2012

Objective Caml

ocaml@conference.jabber.ru

Пятница, 2 марта 2012< ^ >

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

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

GMT+4
[00:17:18] letrec вышел(а) из комнаты
[00:53:15] Kakadu вышел(а) из комнаты
[01:10:11] Typhon вышел(а) из комнаты
[01:10:52] Typhon вошёл(а) в комнату
[01:22:05] bobry вышел(а) из комнаты
[03:08:36] f[x] вышел(а) из комнаты
[03:46:04] letrec вошёл(а) в комнату
[04:19:33] Typhon вышел(а) из комнаты
[05:04:31] letrec вышел(а) из комнаты
[09:01:37] dzhon вошёл(а) в комнату
[09:26:59] dzhon вышел(а) из комнаты
[10:12:58] Kakadu вошёл(а) в комнату
[10:56:13] gds вошёл(а) в комнату
[11:22:08] superbobry вошёл(а) в комнату
[11:28:20] <gds> внезапно: а ведь у меня, в кадастре, уже есть всё, что нужно, чтобы быстро и безгеморно накодить "on-disk datastructures".  вот те на.
[11:31:18] <gds> кстати, кто-нибудь может хочет взяться?  с меня -- 90% дизайна и помощь в кодинге.
[11:40:54] ftrvxmtrx вышел(а) из комнаты
[11:42:06] ftrvxmtrx вошёл(а) в комнату
[11:42:41] ftrvxmtrx вошёл(а) в комнату
[11:45:27] ftrvxmtrx вышел(а) из комнаты
[11:45:52] ftrvxmtrx вошёл(а) в комнату
[11:47:21] ftrvxmtrx вышел(а) из комнаты
[11:48:10] ftrvxmtrx вошёл(а) в комнату
[11:56:29] ermine вошёл(а) в комнату
[12:03:29] ftrvxmtrx вошёл(а) в комнату
[12:04:30] ftrvxmtrx вышел(а) из комнаты
[12:14:17] ftrvxmtrx вышел(а) из комнаты
[12:15:05] ftrvxmtrx вошёл(а) в комнату
[12:23:06] shaggie вошёл(а) в комнату
[12:29:55] ftrvxmtrx вышел(а) из комнаты
[12:33:28] ftrvxmtrx вошёл(а) в комнату
[12:34:19] ftrvxmtrx вышел(а) из комнаты
[12:35:12] ftrvxmtrx вошёл(а) в комнату
[12:49:21] ftrvxmtrx вышел(а) из комнаты
[12:50:16] ftrvxmtrx вошёл(а) в комнату
[12:59:31] ftrvxmtrx вышел(а) из комнаты
[13:00:18] ftrvxmtrx вошёл(а) в комнату
[13:11:31] ftrvxmtrx вышел(а) из комнаты
[13:12:12] ftrvxmtrx вошёл(а) в комнату
[13:13:23] ftrvxmtrx вышел(а) из комнаты
[13:14:21] ftrvxmtrx вошёл(а) в комнату
[13:15:34] ftrvxmtrx вышел(а) из комнаты
[13:18:44] <Kakadu> superbobry: http://codeforces.ru/blog/entry/3977
как думаешь, можно не лезть?
[13:18:48] ftrvxmtrx вошёл(а) в комнату
[13:19:23] <superbobry> Kakadu, почему бы инет, ты когда нибудь в таких штуках участвовал?
[13:19:24] ftrvxmtrx вышел(а) из комнаты
[13:19:30] <superbobry> у меня просто опыта немного :)
[13:20:09] <Kakadu> superbobry: я пробовал в ACM подобных, но там надо много задротствовать и мне надоело
[13:20:18] ftrvxmtrx вошёл(а) в комнату
[13:20:24] <Kakadu> начал считать что всё это хренотня практически неприменимая
[13:20:35] <superbobry> не скажи
[13:20:52] <Kakadu> ну потом появиоль камло на горизонте и я перешл в другую вселенную
[13:21:04] <superbobry> на камло было бы прикольно поучаствовать
[13:21:19] <Kakadu> ну я тебе и запостил только потому что там камло
[13:21:19] <superbobry> но думаю что там TL все под плюсы (как всегда)
[13:21:24] ftrvxmtrx вышел(а) из комнаты
[13:22:02] <Kakadu> Судя по задачам они ACM-like и заточены под плюсы
[13:22:10] <Kakadu> может вспомнить молодость и завалиться на топкодер?
[13:22:15] <Kakadu> зафейлить
[13:22:18] ftrvxmtrx вошёл(а) в комнату
[13:22:24] <Kakadu> и кстати ICFPC близко-близко
[13:22:29] <superbobry> у меня в прошлом семестре похожие задачки были по учебе, камло ни в один TL неубралось
[13:22:44] <superbobry> кстати если шо, хочу поучаствовать в ICFPC
[13:24:06] <Kakadu> а у меня хз какого числа защита
[13:24:50] <superbobry> кстати почему ты таки на F# пишешь?
[13:24:53] <superbobry> это требование?
[13:25:34] <Kakadu> диплом?
[13:25:54] <Kakadu> там есть большой codebase на диезе
[13:26:05] <superbobry> ага
[13:26:08] <Kakadu> так что требование
[13:26:13] <superbobry> там -- где?
[13:26:32] <Kakadu> http://code.google.com/p/recursive-ascent/
[13:29:59] ftrvxmtrx вышел(а) из комнаты
[13:30:44] ftrvxmtrx вошёл(а) в комнату
[13:37:20] ftrvxmtrx вышел(а) из комнаты
[13:38:10] ftrvxmtrx вошёл(а) в комнату
[13:39:22] ftrvxmtrx вышел(а) из комнаты
[13:40:16] ftrvxmtrx вошёл(а) в комнату
[13:41:47] ftrvxmtrx вышел(а) из комнаты
[13:43:48] ftrvxmtrx вошёл(а) в комнату
[13:44:33] ftrvxmtrx вышел(а) из комнаты
[13:44:43] ftrvxmtrx вошёл(а) в комнату
[13:45:46] ftrvxmtrx вышел(а) из комнаты
[13:46:42] ftrvxmtrx вошёл(а) в комнату
[13:47:23] ftrvxmtrx вышел(а) из комнаты
[13:48:14] ftrvxmtrx вошёл(а) в комнату
[13:49:15] <Kakadu> а в конкурсах от даркуса кто-нибудь учавствует?
[13:49:35] ftrvxmtrx вышел(а) из комнаты
[13:50:23] <ftrvxmtrx> у нас возможно интересующиеся со всей конторы участвовать будут скоро
[13:50:27] ftrvxmtrx вошёл(а) в комнату
[13:50:32] <ftrvxmtrx> но огороженно от жежешечки
[13:50:55] <Kakadu> типа чтобы понять внутри кто самый лихоу?
[13:51:06] <ftrvxmtrx> не, просто никто русский не знает
[13:51:12] <ftrvxmtrx> переводить надо будет
[13:51:22] <Kakadu> аа
[13:51:24] ftrvxmtrx вышел(а) из комнаты
[14:37:48] Typhon вошёл(а) в комнату
[15:38:04] <gds> разобрался тут с реаллайфом, и "кому я вас спрашиваю??!!1111":
1. так таки шо, никому не нужна более-менее дешёвая персистентность камлоструктур на диске?  учитывая фишки вида "определили массив из key*value и получили b-tree в файле", например, ну и вообще, любые нужные отображения данных между диском и памятью.
2. собрался cryptokit/base64 оформлять в виде enumeratee, стоит потом показывать, или всем всё как обычно?
[15:47:32] <f[x]> я вот твой код не называю дешёвым!
[15:49:48] <gds> f[x]: если ты про кадастр всякий, то да.  Но иногда бывают задачи, где цпу почти не работает, память особо тоже, а вот диск, бд, сеть -- вполне таки.
[15:52:40] superbobry вышел(а) из комнаты
[16:02:49] <Kakadu> gds: а чем оно будет лучше наивной реализации черех sexplib? (в смысле ты описывал уже чем оно будет лучше того или иного)
[16:03:19] <gds> Kakadu: ты о чём конкретно?
[16:04:54] <gds> то есть, я так понимаю, если стоит вопрос сравнения чего-то моего и sexplib, то, видимо, сравнивается только [де]сериализация значений в/из json?
[16:05:46] <Kakadu> ну пусть так
[16:06:00] <Kakadu> правда s выражения вроде не совсем json
[16:06:10] <gds> твоюжмать.
[16:06:22] <gds> ну, вопрос понял.
[16:08:48] <gds> в кадастре лучше явным описанием того, какие варианты/поля должны участвовать в сериализации и каким именно образом.  возможностью туда-сюда гонять параметризованные типы (опять же про json-static, но на этот раз сознательно: там такого нет).
чем в кадастре хуже -- тем, что оно просто обязано быть дольше, чем json-static, по времени и по работе мусорщика.
[16:09:42] <gds> ну и ещё хуже тем, что явные описания типов нужно писать.  как разбирать их -- обязательно, как собирать их -- при нужде собирать.  не такой большой гемор, но иногда напрягает.
с другой стороны, эти описания для простых случаев можно генерить, если написать соответствующий код.
[16:10:42] <Kakadu> угу
[16:12:52] <gds> но в "дисковых структурах данных" в целом пофиг, какую сериализацию использовать.  хоть маршалить покусочно.
[16:34:52] superbobry вошёл(а) в комнату
[17:06:07] letrec вошёл(а) в комнату
[18:14:09] <superbobry> вот это я понимаю пасаны пилят мод
[18:14:13] <superbobry> https://github.com/OCamlPro/typerex/commit/e44e2fb4510619a6a7891828eba78442f5a39c04
[18:19:37] <ftrvxmtrx> а почему у них одним коммитом всё?
[18:20:48] <superbobry> видим сделали rebase
[18:21:36] <gds> о, оба моих пожелания учли, клёво.
[18:29:27] superbobry вышел(а) из комнаты
[18:30:48] superbobry вошёл(а) в комнату
[18:31:15] superbobry вышел(а) из комнаты
[18:34:58] Kakadu вышел(а) из комнаты
[18:35:02] Kakadu вошёл(а) в комнату
[18:36:09] <Kakadu> а вот моё пока не пофиксили
[18:42:35] Typhon вышел(а) из комнаты
[18:43:26] Typhon вошёл(а) в комнату
[19:44:08] <f[x]> а кто-нибудь юзал Xmlm.make_output с Fun?
[19:45:53] <gds> мне от xmlm был нужен только input.
[19:46:32] <f[x]> http://paste.in.ua/3953/
[19:46:38] <f[x]> проверьте плиз
[19:46:44] <f[x]> ocamlfind  ocamlopt -linkpkg -package xmlm x.ml -o x
[19:47:46] <gds> "<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<tttt//"
[19:48:08] <f[x]> баго
[19:48:12] <gds> факт.
[19:48:32] <gds> или.. не смотрел я это дело, может что-то неправильно делаешь.  хотя навряд ли.
[19:50:07] <f[x]> если разкомментить - то всё ок
[19:50:13] <f[x]> * рас
[19:53:06] <f[x]> а в irc говорят что всё ок
[19:53:31] ftrvxmtrx вышел(а) из комнаты
[19:54:31] ftrvxmtrx вошёл(а) в комнату
[19:55:17] <f[x]> gds камло какой версии?
[19:55:42] <gds> f[x]: 3.12.1+rc1
[19:56:15] <f[x]> у thelema с 3.12.1 и xmlm 1.0.2-oasis1 из oasis-db всё хорошо
[19:56:28] <f[x]> у меня с 3.11.2 и xmlm из дебиана и с сайта - всё плохо
[19:56:31] <f[x]> wtf??
[19:57:31] <gds> по-моему, проще расковырять это дело.  xmlm мелкий.
[20:34:07] ftrvxmtrx вышел(а) из комнаты
[20:57:14] shaggie вышел(а) из комнаты
[21:53:07] letrec вышел(а) из комнаты
[22:01:14] <Kakadu> gds: увидели пост в жж мы одновременнно и ответы пошли калякать не видя друг-друга.
[22:01:28] <gds> Kakadu: именно так.
[22:11:06] bobry вошёл(а) в комнату
[22:12:44] komar вошёл(а) в комнату
[22:13:49] <Kakadu> gds: в вселом настроении вижу ты)
[22:13:59] <Kakadu> веселом*
[22:16:21] <gds> Kakadu: сам не знаю.  Коплю силы на пару рывков, каждый из которых в отдельности -- уже сам по себе серьёзен.  Но ни до одного из них то моск не доходит, то мало исходных данных.  Поэтому выплёскивается вот.
[22:17:19] <Kakadu> прям как у Беляева
[22:17:22] <gds> поэтому -- курю трубку, созерцаю, думаю.  Тёплого клетчатого пледа не хватает, разве что.
[22:17:44] <Kakadu> > А чего вы весь в синяках?
> Да вот мысли одна за другой наружу лезут...
[22:17:57] <Kakadu> в синяках и шишках*
[22:18:14] <gds> сурово.
[22:55:16] <Kakadu> а кто-нибудь ковырял ocaml native toplevel?
[23:07:07] <bobry> Kakadu: ковырял в смысле пилил?
[23:07:38] <Kakadu> bobry: ковырял в смысле использовал-зпускал-получал_пользу
[23:07:58] <bobry> польза от native toplevel неочевидна
[23:08:37] <Kakadu> bobry: а ты уверен что сможешь загрузить в топлевел либу в которой есть биндинги сишные?
[23:09:00] <bobry> уверен
[23:09:07] <bobry> ocaml-pcre
[23:10:20] <Kakadu> хм....
[23:11:07] <Kakadu> что-то я затупил
[23:11:24] <Kakadu> у меня кора пожизни в топлевел загрузаться не хотела
[23:23:38] <ermine> кора сакс?
[23:23:57] <Kakadu> ручки крючки