Objective Caml - Среда, 4 мая 2011

Objective Caml

ocaml@conference.jabber.ru

Среда, 4 мая 2011< ^ >

gds установил(а) тему: Камль -- http://caml.inria.fr | Логи -- http://chatlogs.jabber.ru/ocaml@conference.jabber.ru/ | Светлое будущее -- http://camlunity.ru/ | Нефильтрованное настоящее -- https://github.com/camlunity/kamlo_wiki | Портер прошлое -- http://gdsfh.dyndns.org/kamlo/ | Верблюды грязи не боятся! | release crap, enjoy NIH | репортьте баги официальным дилерам | ocaml мёртв, move on

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

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

GMT+4
[00:13:06] komar вышел(а) из комнаты
[00:32:27] komar вошёл(а) в комнату
[00:43:56] Kakadu вышел(а) из комнаты
[01:13:10] ermine вышел(а) из комнаты
[01:19:36] zert вышел(а) из комнаты
[02:21:07] komar вышел(а) из комнаты: Replaced by new connection
[02:21:07] komar вошёл(а) в комнату
[03:42:57] Diggimortal вошёл(а) в комнату
[04:28:42] komar вышел(а) из комнаты: Replaced by new connection
[04:28:43] komar вошёл(а) в комнату
[04:41:26] komar вышел(а) из комнаты: Replaced by new connection
[04:41:27] komar вошёл(а) в комнату
[04:45:21] Diggimortal вышел(а) из комнаты
[05:25:25] komar вышел(а) из комнаты: Replaced by new connection
[05:25:25] komar вошёл(а) в комнату
[08:19:20] iNode вошёл(а) в комнату
[08:37:05] Typhon_ вышел(а) из комнаты
[08:42:28] Typhon_ вошёл(а) в комнату
[08:46:25] gds вошёл(а) в комнату
[08:50:29] Typhon_ вышел(а) из комнаты
[10:15:32] ermine вошёл(а) в комнату
[12:56:22] <ermine> в eliom.dev в Makefile
uninstall:
        rm -f $(addsuffix ${BINDIR}/,${COMPILER})
[12:56:32] zert вошёл(а) в комнату
[12:56:37] <ermine> давайте обсудим, как надо это интерпретировать
[14:10:47] Kakadu вошёл(а) в комнату
[15:32:57] Diggimortal вошёл(а) в комнату
[16:48:21] <Kakadu> Кто знает как создать post сервис на определенном урле?
[16:50:07] <gds> лично я оформил http-штуку, которой передаю iteratee, имеющий на входе как урл, так и http-метод запроса, и уже решающий, что ему делать.  А там уже решает, url encoded form (или как там оно), либо что-то другое.
[16:50:35] <gds> ну и тот iteratee уже кушает тело так, как ему велит урл, метод и подобное.
[16:50:51] <Kakadu> мне бы в терминах оксигена лучше...
[16:51:06] <gds> ocsigen этого не умеет, проще забить.
[16:51:23] <Kakadu> что правда что-ли?
[16:51:24] <gds> нужно его доки/исходники читать.
[16:51:31] <Kakadu> не может быть
[16:51:38] <gds> правда-правда, в ocsigen нет поддержки iteratees.
[16:52:39] <Kakadu> люди, прада, что только я не знаю что такое iteratees?
[16:53:37] ermine тоже не знает такого слова
[16:55:13] <Kakadu> ermine: а сервисы ты умеешь так регистрировать?
[16:57:15] <ermine> Kakadu: ну service вроде по определению с path, я вопроса не поняла тогда
[16:57:58] ermine как раз неспеша пытается приступить к конфигурированию оксигена на боевом сервере
[16:58:44] <gds> Kakadu: касаемо iteratees:
"
Как-то один математик даже с некоторым вызовом сказал, что не знает теорию Галуа.
Тов. Гротендик ему ответил: "Это как гомосексуализм - ничего страшного в этом нет, но и гордиться этим особенно нечего"
"
[16:58:54] <Kakadu> ermine: это то да, только там параметры с label - пуе_зфкфьы
[16:58:59] <Kakadu> get_params*
[17:00:32] <Typhon> gds: прекрасная история!
[17:01:04] <ermine> Kakadu: у постсервиса?
[17:01:35] <ermine> Kakadu: если тебе надо гет-парамы, делай косервис к гет-сервису с гет-параметрами
[17:02:54] <Kakadu> ermine: мне не надо гет, мне надо пост
[17:03:23] <ermine> Kakadu: я не врубаюсь, в чем проблема
[17:04:14] <Kakadu> сделать пост сервис с относительным путем.
[17:04:27] <Kakadu> или что-то что снаружи будет выглядет как пост-сервис
[17:04:34] <Kakadu> оно будет вызываться на клиенте
[17:05:12] <ermine> нуу
[17:05:23] <ermine> у тебя в пастбине в твоем коде уже был такой код
[17:05:48] <Kakadu> который не работает
[17:06:08] <Kakadu> я ищу код, который рабоатет)
[17:06:14] <ermine> у тебя видимо не работал call_service или как его там
[17:06:35] <ermine> жуть
[17:09:29] <Kakadu> меня тут rproust направил. попробую осмыслить
[17:11:51] <Kakadu> gds: ты мне кстати, напомнил мой разговор с одним человеком. Я хотел поговорить как работать со списками в ядре линукс, а он мне ответил что никак, мбо в си нет дженериков
[17:13:00] <gds> вроде разное.  В ядре какие-то свои списки вроде были.  Вот уж тут не помню.
[17:13:11] <gds> mutable single-linked lists, вроде.
[17:13:59] <Kakadu> ну вроде то же самое. "Как сделать А? Никак, в Б нет С"
[17:17:32] <gds> ключевые моменты: 1. в вопросе не было ничего про ocsigen, 2. я не говорил "никак не сделать", я делился своим опытом.  Знал бы я, что вопрос касается ocsigen -- ясное дело, не стал бы влезать, надо оно мне.
[17:18:43] <Kakadu> <gds> ocsigen этого не умеет, проще забить.
<gds> правда-правда, в ocsigen нет поддержки iteratees.
[17:18:55] <Kakadu> думаю ты знал что разговор про оксиген)
[17:19:28] iNode вышел(а) из комнаты
[17:19:36] <gds> не, изначально не знал, а потом понял вопрос так: "каким образом в ocsigen использовать iteratees".
[17:20:06] <Kakadu> gds: ладно, забей
[17:20:11] <Typhon> Kakadu: дженерики как влияют на нев-ть списков?
[17:20:29] <Typhon> во-первых, в си есть void * — тоже весьма мощный дженерик, гг
[17:20:42] <Typhon> queue.h точно есть на воидптрах
[17:21:02] <Kakadu> Typhon: я не говорю что не бывает списков без дженериков. Мне хотели впарить, что нельзя со списками работать без женериков
[17:25:13] <Typhon> кстати, я там болванку для статьи о мифах выкатили в вике, если есть у кого мысли и текст — милости прошу :-) https://github.com/camlunity/kamlo_wiki/blob/master/OcamlMythsDemolished.md . рилейтед картинка: http://funny.ukrwest.net/forum/photos/110404171107150_f0_0.jpg
[17:29:26] <Diggimortal> видели это http://www.impredicative.com/ur/ ?
[17:29:37] <Diggimortal> trueЪ hardcore
[17:30:18] <Diggimortal> микс ML и Haskell с зависимыми типами
[17:30:34] <Diggimortal> написан на ML
[17:32:11] <gds> ur видел.  ну хз, что-то есть, но использовать бы не стал.
[17:32:59] <Diggimortal> ну, он для использования ещё наверное не готов, но идеи интересные
[17:33:57] <gds> идеи -- да.  Мне вообще, как сороке, кажется относительно интересным всё, что с зависимыми типами.
[17:35:50] <ermine> зависимые типы - это такая мода сейчас?
[17:36:27] <Typhon> да
[17:36:44] <Typhon> хаскиль слишком популярным стал
[17:37:12] <ermine> а что там осиливают кроме факториалов?
[17:37:16] <gds> не совсем "сейчас".  системы типизации были сильно раньше.  и к х-ю это мало отношения имеет.
[17:39:22] <gds> Typhon: про статью -- да, там много мифов можно описать, но надо как-то позаботиться о том, чтобы разрушать эти мифы, а не культивировать их.  Будем думать.
Кстати, ещё пунктики:
Q: А говорят, в окамле комментарии отмечаются знаками (* и *)!
A: Это не миф.
Q: А говорят, в окамле нет перегрузки операторов!
A: К счастью, это не миф.
ну и всё такое :)
[17:39:31] <Typhon> я про моду, уже как-то обсуждали, что часть тусовачки, раньше наяривавшая х-ль, теперь дружно переключилось на агду2 и прочие зависимые типа (причём довольно большая часть, судя по всему, ни на том, ни на другом не пишут).
[17:40:16] <Typhon> gds: ну я так дисклеймер написал, что это неправда ^_^ но да, надо разворачивать, конечно, со ссылками на олега, гг
[17:40:36] ermine пробовала пощупать agde
[17:40:38] <Typhon> из похожей серии:
Монады круто, говорят в окамле нету монад!
[17:40:44] <Typhon> опровержение
[17:40:46] <gds> а, в смысле "переключения внимания" -- да, точняк.  Кстати, я продвигаю этот процесс сознательно.
[17:41:01] <Diggimortal> монады есть даже в C#
[17:41:01] <Typhon> 2) говорят в окамле монады — сложно!
[17:41:08] <Typhon> опровержение ^_^
[17:41:18] <Typhon> блин, многострочное не получилось отправить сообщение :-)
[17:41:47] <gds> Q: Говорят, "в окамле монады"?
A: Это сложно.
[17:42:09] <Typhon> Diggimortal: часть ИТ народности верит, что 1) монады — это do - синтаксис 2) они есть только в хаскиле
[17:42:22] <ermine> камлевые монады - дань моде
[17:43:33] <Typhon> камлёвые монады — средство показать "да как хотим, так и воротим!"
[17:43:40] <gds> ermine: я вижу "моду" в других языках, и окамловские монады -- это взянь у моды.  Как и другое, что берётся.
[17:46:14] <zert> монады — тащемто скорее хорошо, чем плохо
[17:49:14] <gds> а комонады-то как?  Волнует очень.  Идеологически -- комонады это хорошо.  Практически -- сложно построить практически-полезную и осмысленную.  Как быть?
[17:54:01] Sergey Plaksin вошёл(а) в комнату
[17:54:54] Sergey Plaksin вышел(а) из комнаты
[17:56:20] Sergey Plaksin вошёл(а) в комнату
[17:57:14] Sergey Plaksin вышел(а) из комнаты
[17:57:39] Sergey Plaksin вошёл(а) в комнату
[17:57:42] Sergey Plaksin вышел(а) из комнаты
[17:57:43] Sergey Plaksin вошёл(а) в комнату
[17:57:46] Sergey Plaksin вышел(а) из комнаты
[18:11:36] Typhon вышел(а) из комнаты
[18:15:38] <ermine> Kakadu: тебе там в мейллисте ответили прилично
[18:16:21] <ermine> похоже суть в том, чтобы понять что такое веб-клиент
[18:16:50] <Kakadu> ermine: я уже читал, осмысляю
[18:23:50] ftrvxmtrx вышел(а) из комнаты
[18:41:19] <Diggimortal> а на вике нет списка стандартных gotchas камла?
[18:41:57] ftrvxmtrx вошёл(а) в комнату
[18:42:52] <Diggimortal> типа Value Restriction
[18:42:54] <Kakadu> Diggimortal: ну я только List.combine знаю
[19:17:05] Kakadu находится в непонятках. С некоторых пор шрифт в емаксе начал выглядеть как-то по-другому. Не то, что плохо, но по-другому
[19:19:31] <ermine> xfs врубился? вырубился?
[19:20:19] <Kakadu> вроде xfonts мог измениться...
[19:20:31] <Kakadu> аааа, жто обновление емакса наверное
[19:24:27] <gds> Diggimortal: gotchas -- в смысле, что-то типа C++FQA?
[19:33:28] <Diggimortal> gds: ну, вот value restriction такая штука, которая удивляет при обнаружении
[19:33:44] <Diggimortal> может это и не gotcha, но тонкий нюанс
[19:34:04] <Diggimortal> неочевидные, если человек не задрот по теории типов
[19:35:09] <Diggimortal> типа как в шарпе захват в замыкание происходит не значения, а связывания
[19:35:18] <gds> ага, понял.  У меня тоже подобное было: в плюсах удивило примерно 5% того, что я увидел в C++FQA, и я понял, что всё это как-то криво.  Если человек не задрот в страуструпе/александреске.
[19:36:04] <komar> zert: сам такой.
[19:36:06] <gds> идея хорошая, можно было бы описать.  Действительно, есть что описывать.
[19:36:40] <zert> komar: гггг
[19:36:51] <zert> komar: ну реальне, как дети малые
[19:37:04] ermine втихаря перетащила камлунити на оксигень
[19:37:08] <komar> Рельно противно сидеть на сервисе, где под носом такие дела.
[19:37:51] <zert> komar: какие дела?
[19:38:00] <komar> zert: кстати, оформивший мой некролог автор сидел в бане за картинку без матюков, детского порно и прочего.
[19:38:08] <komar> zert: тебе линки на кой черт кидали?
[19:38:20] <zert> я там никакого криминала не видел
[19:39:14] <komar> zert: почему у меня баня за «у», а у нее за «б» — «пожалуйста, пользуйтесь BL»?
[19:39:41] <komar> У меня JID komar@bitcheese.net, чтобы тут не гадить.
[19:40:11] <ermine> хм, не все чисто с оксигеном
[19:41:07] <zert> ermine: а где камлунити хостится?
[19:42:16] <ermine> zert: у меня на сервере под боком с сайтом говножабера
[19:42:27] <zert> а адрес какой?
[19:42:41] <ermine> камлунити.ру
[19:42:52] <zert> чёт там нифига ж нет
[19:42:54] Typhon_ вошёл(а) в комнату
[19:43:04] <zert> и чего ты там на оксиген перевела?
[19:43:25] <ermine> static dir пока что
[19:43:35] <ermine> всё остальное ждем от тифона с какаду
[19:44:33] <ermine> а пока что я посмотрю как оно пашет и буду туда же переводить сайт говножабира, если раньше не умру
[19:45:35] <ermine> только непонятно как оно щас пашет моментами - то ли пропускает запросы, то ли тормозит
[19:46:25] <ermine> в топе оксигень болтается внизу в последней строчке
[19:46:32] iNode вошёл(а) в комнату
[19:46:39] <zert> ничего не мешает совмещать эти два дела
[19:48:06] <Typhon_> btw, icfpc приближается, даты объявлены, что досточтимый чятик думает об участии? за себя скажу, что вряд ли буду участвовать, посколько много реаллайфа в эти даты пересекается (как радостного, так и напряжного), но с интересом бы понаблюдал по возможности или почитал бы отчёты от камло-геррилаз :-)
[19:48:20] <Kakadu> я не могу(
[19:49:23] <ermine> а какие даты?
[19:49:37] ftrvxmtrx вышел(а) из комнаты
[19:49:49] ermine будет лишь как обычно наблюдать за процессом
[19:50:02] <Typhon_> http://www.icfpcontest.org/2011/04/contest-schedule.html  00:00 June 17 Friday UTC (= 24:00 June 16 Thursday UTC) and end at 00:00 June 20 Monday UTC (= 24:00 June 19 Sunday UTC).
[19:50:29] ftrvxmtrx вошёл(а) в комнату
[19:51:46] <ermine> хм, неудобные для меня даты
[19:52:35] <ermine> а нет, нормально
[19:52:46] <ermine> можно будет понаблюдать
[19:59:23] <Typhon_> Diggimortal, про gotchas -- в вике есть FAQ со ссылками на факи и с местными добавлениями.
[20:05:29] <gds> icfpc -- посмотрю задание, обломаюсь, пойду обратно в песочницу.
[20:11:41] <Diggimortal> Typhon_:  FAQ'и правильные и там есть то, что хотел узнать
[20:11:59] Typhon_ изменил(а) имя на Typhon
[20:15:38] Typhon вышел(а) из комнаты
[20:16:05] Typhon вошёл(а) в комнату
[20:17:48] gds вышел(а) из комнаты
[20:37:32] ermine пока оставит камлунити на оксигене, но считает запуск оксигена провалом
[20:39:00] <ermine> остается надеяться, что высоколобые французы быстро найдут баги и починят свое корытце
[20:39:18] <ermine> а тем временем в соседней конфе сегодня с nginx тоже поимели провалов
[20:40:34] <Typhon> ставь khttpd или как там его, ядрёный
[20:41:08] <ermine> каво?
[20:41:41] <Typhon> http://www.fenrus.demon.nl/
[20:41:44] <ermine> а он умеет chunked transfer к бэкэнду?
[20:42:55] <ermine> меня даже спросили, не напишу ли я хттп-прокси на цамле за недельку, то /me решила скромно промолчать
[20:43:19] <Typhon> а в окамлнет нету ли?
[20:43:35] <Typhon> да и оксиген, кажется, может в роли прокси выступать, равзе нет?
[20:43:46] <ermine> а вот камлонету я не доверяю
[20:44:02] <ermine> причем недоверие у меня уже чисто религиозное
[20:44:45] <ermine> Typhon: ну сейчас оксиген не фонтан, как оказался
[20:45:05] komar вышел(а) из комнаты
[20:45:15] komar вошёл(а) в комнату
[20:45:19] <ermine> Typhon: сходи на сайт камлунити, походи по всем трем каталогам документаций
[20:45:36] <Typhon> хм, может ты как-то неправильно его настроила -- я сам только запускал его, без нагрузок, но люди же показывали статистику с приличными числами
[20:47:20] <ermine> Typhon: ну вот надеюсь, что французики быстро разберутся в проблеме
[20:48:17] <Typhon> ermine, походил по ссылкам -- вроде всё ок, btw, ссылку на вику надо бы сменить, пожалуй
[20:48:21] <ermine> Typhon: оно у меня даже в daemon не запускается :)
[20:49:31] <Typhon> ну так и не надо программам в daemon самим уходить, поставь runit, например, и пусть он их туда водит
[20:50:54] <ermine> не, это явно бага
[20:50:59] <ermine> раньше запускался же
[20:51:50] <ermine> хм, а вот дома в -d запустилось
[20:52:16] <ermine> любопытно
[20:52:25] <ermine> надо воспроизвести тот static dir
[20:59:57] Kakadu вышел(а) из комнаты
[21:01:25] Kakadu вошёл(а) в комнату
[21:05:01] Diggimortal вышел(а) из комнаты
[21:08:06] <Typhon> помните, говорил про то, что ocaml-redis использует рубескрепты для билда и тестирования? так умнчика joelr стал пользовать либку и перевёл на чоткие рельсы оазисы и ounit'а %)
[21:14:34] <ermine> на домашней лаги воспроизводятся
[21:14:39] <ermine> видимо lwt таки дурит
[21:15:08] <ermine> ну чтож, буду разводить писанину в мейллисте, авось не прогонят
[21:20:01] <ermine> интересно, как ж отловить, в ocsigenserver -V никакого криминала нет, там тоже лаги одни
[21:20:24] <ermine> то ли давится большими каталогами, то ли lwt барахлит
[21:20:52] ermine впала в депресняк
[21:28:40] komar вышел(а) из комнаты: Replaced by new connection
[21:28:41] komar вошёл(а) в комнату
[21:38:59] komar вышел(а) из комнаты: Replaced by new connection
[21:38:59] komar вошёл(а) в комнату
[22:00:56] ermine догадалась посмотреть в tcpflow
[22:00:58] <ermine> мде
[22:49:41] Typhon вышел(а) из комнаты
[22:52:49] zert вышел(а) из комнаты
[23:11:17] ermine локализовала проблему и успокоилась
[23:11:28] <ermine> можно продолжать жрать кактус
[23:19:19] komar вышел(а) из комнаты: Replaced by new connection
[23:19:20] komar вошёл(а) в комнату
[23:20:50] <Kakadu> а я разобрался со своим постом
[23:21:03] <Kakadu> спасибо Грегуару
[23:30:34] komar вышел(а) из комнаты: Replaced by new connection
[23:30:37] komar вошёл(а) в комнату
[23:43:35] komar вышел(а) из комнаты: Replaced by new connection
[23:43:36] komar вошёл(а) в комнату