Objective Caml - Четверг, 10 января 2013

Objective Caml

ocaml@conference.jabber.ru

Четверг, 10 января 2013< ^ >

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

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

GMT+4
[00:15:43] Kakadu вышел(а) из комнаты
[00:43:32] f[x] вышел(а) из комнаты
[00:45:24] Andrey Popp вышел(а) из комнаты
[00:47:56] Andrey Popp вошёл(а) в комнату
[00:59:36] Andrey Popp вышел(а) из комнаты
[00:59:38] f[x] вошёл(а) в комнату
[01:31:09] Andrey Popp вошёл(а) в комнату
[01:53:49] Sun][ вышел(а) из комнаты
[01:55:53] Typhon вошёл(а) в комнату
[02:05:12] Andrey Popp вышел(а) из комнаты
[03:04:29] Typhon вышел(а) из комнаты
[03:20:48] akovbovich вышел(а) из комнаты
[03:57:29] f[x] вышел(а) из комнаты
[04:05:14] Typhon вошёл(а) в комнату
[04:22:16] Typhon вышел(а) из комнаты
[05:05:04] ftrvxmtrx вышел(а) из комнаты
[05:06:06] Typhon вошёл(а) в комнату
[05:22:27] Typhon вышел(а) из комнаты
[05:54:38] ftrvxmtrx вошёл(а) в комнату
[06:06:46] Typhon вошёл(а) в комнату
[06:18:20] vladimir.chujkov вошёл(а) в комнату
[06:19:22] vladimir.chujkov вышел(а) из комнаты
[06:20:30] vladimir.chujkov вошёл(а) в комнату
[06:22:50] ftrvxmtrx вышел(а) из комнаты
[06:24:43] Typhon вышел(а) из комнаты
[06:30:52] vladimir.chujkov вышел(а) из комнаты
[06:31:58] vladimir.chujkov вошёл(а) в комнату
[06:58:33] ermine вошёл(а) в комнату
[07:04:10] evilbloodydemon вошёл(а) в комнату
[07:04:19] vladimir.chujkov вышел(а) из комнаты
[07:05:14] vladimir.chujkov вошёл(а) в комнату
[07:07:50] Typhon вошёл(а) в комнату
[07:26:39] Typhon вышел(а) из комнаты
[08:13:35] ftrvxmtrx вошёл(а) в комнату
[10:00:14] Sun][ вошёл(а) в комнату
[10:10:26] evilbloodydemon вышел(а) из комнаты
[10:10:48] evilbloodydemon вошёл(а) в комнату
[10:13:49] vladimir.chujkov вышел(а) из комнаты
[10:32:04] klapaucius вышел(а) из комнаты
[10:50:25] klapaucius вошёл(а) в комнату
[10:56:28] dzhon вошёл(а) в комнату
[11:07:52] ftrvxmtrx вошёл(а) в комнату
[11:11:11] zinid вошёл(а) в комнату
[11:49:30] Andrey Popp вошёл(а) в комнату
[12:16:12] Kakadu вышел(а) из комнаты
[12:41:58] Kakadu вошёл(а) в комнату
[12:46:34] Kakadu вошёл(а) в комнату
[12:55:16] Andrey Popp вышел(а) из комнаты
[12:56:42] komar вошёл(а) в комнату
[12:57:24] Andrey Popp вошёл(а) в комнату
[12:59:09] Kakadu вышел(а) из комнаты
[13:01:25] Andrey Popp вышел(а) из комнаты
[13:01:40] Kakadu вошёл(а) в комнату
[14:03:09] Typhon вошёл(а) в комнату
[14:35:27] Andrey Popp вошёл(а) в комнату
[14:35:30] Andrey Popp вышел(а) из комнаты
[14:35:31] Andrey Popp вошёл(а) в комнату
[14:49:24] Andrey Popp вышел(а) из комнаты
[14:49:25] Andrey Popp вошёл(а) в комнату
[15:09:08] Andrey Popp вышел(а) из комнаты
[15:30:21] Andrey Popp вошёл(а) в комнату
[15:30:25] Andrey Popp вышел(а) из комнаты
[15:30:26] Andrey Popp вошёл(а) в комнату
[15:30:30] Andrey Popp вышел(а) из комнаты
[15:36:28] evilbloodydemon вышел(а) из комнаты
[15:37:25] evilbloodydemon вошёл(а) в комнату
[17:07:49] Sun][ вышел(а) из комнаты
[17:55:30] <Kakadu> gds: А твой параллельный велосипед во что-то вырос?
[18:02:28] <ermine> наверное в то, во что вырастает вообще всё камлевое
[18:02:43] <gds> Kakadu: пока во что-то растёт.  "Ви хотите об этом поговорить?" :]  Там есть о чём поговорить.  Смотря кому что нужно.
[18:03:31] <gds> то есть, у меня возникли потребности, которые нужно реализовать, и у меня есть намётки идей, которые практически обязательны для реализации.
[18:05:31] <gds> ступор там в том, что весьма сложно было накодить смесь "итераты + динамическая типизация + тупой-протокол-для-пересылки-списка-строк".  Ну, не столько сложно, сколько слегка геморно стыковать 3 библиотеки так, чтобы они требовали друг друга только по нужде.  То есть, там кое-что из "факторизации кода" добавляет гемор.  Но потом пришла суровая работа и моск мой пуст.
[18:06:58] <gds> кроме того, сейчас и по работе, и по одному хобби-проекту гораздо больше нужна шняга для написания типизированного plpgsql + ddl, с миграциями схемы бд, а то и с дополнительными гарантиями типа уникальностей всяких и прочего, вот её сейчас мучаю.
[18:08:15] <gds> но парвел тоже важен, даже по работе придётся рожать какое-нибудь говнорешение, касающееся подмены бинарника при обновлении кода (так, чтобы старый бинарник обслужил текущие соединения и закрылся, а тем временем новый бинарник уже слушал бы входящие соединения).
[18:08:30] <gds> но говнорешения делать не хочу, а мозга не хватает на всё и сразу.
[18:13:01] <Kakadu> gds: я просто увидел https://www.cl.cam.ac.uk/projects/ocamllabs/projects/actor.html и про тебя вспомнил
[18:37:53] zinid вышел(а) из комнаты
[18:40:37] <ermine> как веселее индексировать числа, которые идут прерывно, чтобы поплотнее шли?
[19:06:43] Typhon вышел(а) из комнаты
[19:08:44] Typhon вошёл(а) в комнату
[19:13:39] dzhon вышел(а) из комнаты
[19:15:16] <Kakadu> gds: А у тебя есть заметки на тему основных грабель в писании такой хреновины?
[19:38:22] Kakadu вышел(а) из комнаты
[19:41:59] Kakadu вышел(а) из комнаты
[20:13:50] komar вышел(а) из комнаты: Logged out
[20:15:51] ftrvxmtrx вышел(а) из комнаты
[20:28:49] Typhon вышел(а) из комнаты
[21:14:03] <gds> Kakadu: конечно есть грабли.  Вот почти всё, что вижу из "новинок", наступает на них.  Даже небо, даже аллах.
[21:19:36] <ermine> gds: а что у тебя сейчас за текущий мега-проект?
[21:26:15] <gds> ermine: тысячи их!111  один из них описывал:
"
шняга для написания типизированного plpgsql + ddl, с миграциями схемы бд, а то и с дополнительными гарантиями типа уникальностей всяких и прочего
"
а так -- много чего мучаю для работы: итераты, хттп, динамическая типизация и структурные операции над типами данных, coq мучаю всяко (так как в окамле всё более-менее понятно, чо его мучить, использовать надо!).
[21:32:43] <ermine> в самом деле что небо, что аллах - видимо такое камло
[21:33:33] <ermine> не дает спуститься на землю и написать кухонный код
[21:35:15] <gds> мне -- даёт.  Просто вспоминаю, что я тупое быдло, и код пишется просто замечательно.  Но если ты не тупое быдло, то не получится :[
[21:37:31] <ermine> тупые быдла вообще не пишут на камле
[21:37:46] <gds> я -- пишу!
[21:38:28] <gds> камло гораздо проще остальных языков.  Можно в любом стиле писать, а компилятор многое проверяет.  Всё работает, даже при отсутствии мозга.
[21:38:39] <ermine> как бы спросить у Киселева, считает ли он себя тупым быдлом
[21:39:10] <ermine> да говядина тоже простой язык
[21:41:42] <ermine> на яве вот сложнее писать из-за шума
[21:49:48] <gds> вспоминать киселёва в контексте окамла -- как вспоминать гитлера в кухонно-политических обсуждениях.  Как-то не показательно вообще никак.  Олег -- отдельная история.
[21:54:21] ermine стягивает веровочки на массиве, чтобы из 138 тыс строк было нужно не больше 3 тыс строк, а еще лучше - 310 строчек в массиве
[21:56:16] <ermine> собственно теперь бы понять как быстро понять в каком нужном диапазоне число - бывают ли научные маски?
[21:58:38] <ermine> видимо придецца юзать бинарное дерево в виде массива, шерстить бинарным поиском, пока умных тут нет
[22:38:09] komar вошёл(а) в комнату