Objective Caml - Четверг, 26 апреля 2012

Objective Caml

ocaml@conference.jabber.ru

Четверг, 26 апреля 2012< ^ >

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

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

GMT+4
[00:06:34] Typhon вошёл(а) в комнату
[00:10:05] Typhon вышел(а) из комнаты: Replaced by new connection
[00:10:25] Typhon вошёл(а) в комнату
[01:02:42] tilarids вышел(а) из комнаты: Computer went to sleep
[01:05:31] tilarids вошёл(а) в комнату
[01:14:04] Kakadu вышел(а) из комнаты
[01:14:36] bobry вышел(а) из комнаты
[01:29:00] f[x] вышел(а) из комнаты: Computer went to sleep
[01:35:58] tilarids вышел(а) из комнаты: Computer went to sleep
[04:02:56] Typhon вышел(а) из комнаты
[06:49:10] ermine вошёл(а) в комнату
[09:18:14] bobry вошёл(а) в комнату
[09:31:40] bobry вышел(а) из комнаты
[10:02:47] tilarids вошёл(а) в комнату
[10:14:50] ftrvxmtrx вышел(а) из комнаты
[10:23:51] Typhon вошёл(а) в комнату
[10:24:33] dzhon вошёл(а) в комнату
[10:30:21] Sun][ вошёл(а) в комнату
[10:44:54] ftrvxmtrx вошёл(а) в комнату
[10:51:41] Kakadu вошёл(а) в комнату
[11:14:58] dzhon вышел(а) из комнаты
[11:29:39] dzhon вошёл(а) в комнату
[11:53:42] dzhon вышел(а) из комнаты
[12:34:32] tilarids вышел(а) из комнаты: Computer went to sleep
[12:46:37] akovbovich вошёл(а) в комнату
[13:07:18] tilarids вошёл(а) в комнату
[13:08:57] tilarids вышел(а) из комнаты
[13:21:06] tilarids вошёл(а) в комнату
[13:44:32] shaggie вошёл(а) в комнату
[14:07:03] dzhon вошёл(а) в комнату
[14:23:41] dzhon вышел(а) из комнаты
[14:37:21] akovbovich вышел(а) из комнаты
[14:43:38] Kakadu вышел(а) из комнаты
[14:46:39] dzhon вошёл(а) в комнату
[15:25:46] akovbovich вошёл(а) в комнату
[15:33:12] Kakadu вошёл(а) в комнату
[16:06:54] dzhon вышел(а) из комнаты: Replaced by new connection
[16:06:54] dzhon вошёл(а) в комнату
[16:37:47] f[x] вошёл(а) в комнату
[16:40:49] f[x] вышел(а) из комнаты: Computer went to sleep
[16:47:04] Kakadu вышел(а) из комнаты
[16:48:05] Kakadu вошёл(а) в комнату
[16:54:57] Kakadu вышел(а) из комнаты
[16:55:03] Kakadu вошёл(а) в комнату
[16:55:35] <bobry> good API design lessons from the H. language
[16:55:42] <bobry> на примере либы для BSON'a
[16:56:07] <bobry> data Value = … — внутреннее представление
[16:56:27] <bobry> class Val — для сериализации типов из х-ля в BSON и наоборот
[17:14:11] <gds> а в чём цимес?
[17:15:04] <bobry> цимес в кошерном именовании классов
[17:15:08] <bobry> Val
[17:15:15] <bobry> сразу понятно что это для конвертации в BSON
[17:15:43] <gds> а, мило :)
[17:17:49] Kakadu вышел(а) из комнаты
[17:18:28] Kakadu вошёл(а) в комнату
[17:18:31] <bobry> вообще муд-жики из 10gen не написали ни одной нормальной либы
[17:18:41] <bobry> мы пользуемся драйвером для питона, эрланга и х-ля
[17:18:43] <bobry> и все говно
[17:18:46] <bobry> довольно феерично
[17:33:56] akovbovich вышел(а) из комнаты
[17:33:56] shaggie вышел(а) из комнаты
[17:34:24] shaggie вошёл(а) в комнату
[17:34:32] akovbovich вошёл(а) в комнату
[17:49:06] Sun][ вышел(а) из комнаты
[17:55:18] dzhon вышел(а) из комнаты
[17:57:26] <Typhon> "муд-жики из 10gen не написали ни одной нормальной" вот тут даже остановить можно
[17:59:09] <komar> Кто все эти люди?
[17:59:24] <komar> > 10gen develops MongoDB
[17:59:26] <komar> А-а.
[17:59:51] <gds> у них нет сикеля.  им нечего рвать.
[18:11:28] komar вышел(а) из комнаты: Replaced by new connection
[18:11:28] komar вошёл(а) в комнату
[18:16:21] <bobry> gds: чего нет?
[18:16:43] <gds> bobry: это такая игра слов.  даже не знаю, как объяснить.
[18:17:01] <Kakadu> bobry: я понял это как sql
[18:17:46] <bobry> мм
[18:19:05] <gds> и sql, и http://lurkmore.to/%D0%A1%D0%B8%D0%BA%D0%B5%D0%BB%D1%8C
[18:20:12] <bobry> вот это история
[18:58:48] akovbovich вышел(а) из комнаты
[19:43:44] bobry вышел(а) из комнаты
[19:50:58] ftrvxmtrx вышел(а) из комнаты
[19:56:05] ftrvxmtrx вошёл(а) в комнату
[19:58:58] ftrvxmtrx вышел(а) из комнаты
[19:59:10] ftrvxmtrx вошёл(а) в комнату
[19:59:34] Typhon вышел(а) из комнаты
[20:04:04] ftrvxmtrx вышел(а) из комнаты
[20:04:30] ftrvxmtrx вошёл(а) в комнату
[20:09:26] ftrvxmtrx вышел(а) из комнаты
[20:09:39] ftrvxmtrx вошёл(а) в комнату
[20:11:32] f[x] вошёл(а) в комнату
[20:31:12] ftrvxmtrx вышел(а) из комнаты
[20:31:22] ftrvxmtrx вошёл(а) в комнату
[20:37:04] ftrvxmtrx вышел(а) из комнаты
[20:37:29] bobry вошёл(а) в комнату
[20:41:29] ftrvxmtrx вошёл(а) в комнату
[21:17:07] tilarids вышел(а) из комнаты
[21:26:51] f[x] вышел(а) из комнаты
[22:23:09] <bobry> gds: последний пост прямо в точку :)
[22:23:39] <bobry> особенно вот этот пункт "чем больше разработчику предоставляется благ - тем эффективнее он работает"
[22:25:22] tilarids вошёл(а) в комнату
[22:40:06] ermine вышел(а) из комнаты
[22:49:24] tilarids вышел(а) из комнаты
[22:57:30] <gds> bobry: пытался заметить то, что не замечают многие из-за того, что они "зарегулированы" (по причинам или нет) и противятся этому (по причинам или нет).  но я сознательно осветил вопрос только с одной стороны.  Другие стороны тоже есть.
[23:13:43] <bobry> gds: к сожалению эта сторона часто светит на моей работе :)
[23:13:47] <bobry> ты кстати один работаешь?
[23:14:06] shaggie вышел(а) из комнаты
[23:17:51] <gds> bobry: да я вижу по твоим проблемам, что к более-менее порядку, который Ordnung, у тебя нормальное отношение (было бы).
А про мою работу -- в последнее время один, но там такая работа, что даже не знаю, как это назвать.  Классифицировать её практически нереально.
[23:20:00] bobry не знает как заставить коллег писать код а не каменты в жж <_<
[23:20:13] <bobry> а то забанют всю функциональщину в конторе :)
[23:20:17] <bobry> мол "не продуктивно"
[23:21:15] <gds> подсади их на coq, будут писать не в жж, а в #coq, например.  А в качестве отдыха от каментов -- писать тупой, тривиальный код на х-е.
[23:22:27] <bobry> там у нас на х-ле уже такой код... ух :)
[23:23:04] <bobry> почти все ghc extensions in action чтобы проверять все что надо
[23:23:16] <bobry> думаю после этого проектика можно и в coq :)
[23:24:21] <gds> у меня есть как предположения насчёт успеха проекта, так и предположения про coq.  Поглядим, в общем.  Озвучивать не буду.
[23:24:36] <bobry> от чего же не будешь?
[23:24:49] <bobry> в общем то первое черное пятно с ликом в TVar'e уже было
[23:24:53] <bobry> озвучь :)
[23:29:56] <gds> потом же скажешь, что накаркал.
в общем, предрекаю: проект сделаете, но с нехилым прощёлкиваем по срокам, с говнокодом, вызванным экспериментами, но оно заведётся.  А потом ещё полгода будете ловить проблемы производительности и, реже, утечки.
Про coq -- там гламурные кисы, потому будет агда1111
(про которую, кстати, сегодня многое понял.  В рот ноги любителям конструировать руками proof terms.  Но эти ноги они получат замедленно.)
[23:31:47] <bobry> gds: у нас проект довольно тривиальный -- к облаку API написать, возьми из базы то, сделай с ним что-нибудь грязное и поговори по этому поводу с Xen'ом
[23:32:06] <bobry> так что прощелкивать по срокам вроде особо поводов не предвидится
[23:32:35] <bobry> а что такое proof terms?
[23:35:31] <gds> а, ну хорошо, что проект тривиальный, только зачем вам платят деньги и так много?
[23:36:03] <bobry> сам удивляюсь :)
[23:36:14] <gds> возьмите меня лол :]
[23:36:29] <bobry> с удовольствием бы, так ты далеко
[23:36:40] Typhon вошёл(а) в комнату
[23:36:45] <gds> а, у вас без удавлёнки, ок.
[23:36:50] <bobry> ага, к сожалению
[23:37:05] <bobry> а насчет тривиальности я конечно чутка соврал, но ничего уж совсем сложного там нету
[23:37:23] <bobry> вот лики, которыми так славен язык на букву х. точно могут на сроках сказаться
[23:37:28] <gds> proof term -- это такое выражение, состоящее из типов, значений (хотя там эти вещи сильно перемешаны), которое, если вычислить, будет доказательством другого выражения (какой-нибудь функции).  Почти в рамках Hurry-Coward Correspondence.
[23:37:43] <gds> да чо лики, поставите больше памяти, зашибись будет!11
[23:37:53] <bobry> suure!!11
[23:38:26] bobry нарасставлял уже везде анотаций строгости, надеюсь что все обойдется :)
[23:38:54] <gds> ты просто весенизатор.  Это как осенизатор, но тоже говно подчищает.
[23:39:07] <bobry> лестно :)
[23:39:41] <gds> ну а чо, ленивость мало где нужна, если что-то реаллайфное писать.  Особенно если несложное.
[23:40:07] <bobry> я вот пытался в х-ль@cjr выяснить у народа нафига же ленивость by default
[23:40:15] <bobry> никто не ответил, сказали что я дурак или прикидываюсь
[23:41:43] <gds> и не ответят.  Это нормальное психическое отклонение, ничего страшного.  Не спрашивай, этим ты вызываешь у них неприятные ощущения.
[23:41:53] <bobry> определенно вызываю
[23:42:16] <bobry> ну и если верить пацам из h-ll@cjr то все мемори лики ищутся за 5 минут с профайлером
[23:42:20] <bobry> который я не осилил :)
[23:42:23] <bobry> *типа*
[23:42:35] <bobry> эх, мне бы в этот розовый мир
[23:42:59] <gds> так ты тоже говори, что ищешь лики за 5 минут.  Не будь белой вороной.
[23:46:37] <bobry> :)
[23:46:41] <bobry> дельный совет