Objective Caml - Воскресенье, 13 сентября 2009

Objective Caml

ocaml@conference.jabber.ru

Воскресенье, 13 сентября 2009< ^ >

f[x] установил(а) тему: Камль -- http://caml.inria.fr | Логи -- http://chatlogs.jabber.ru/ocaml@conference.jabber.ru/ | Верблюды грязи не боятся! | release crap

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

GMT+4
[00:33:36] ygrek вышел(а) из комнаты
[01:58:07] 604 вышел(а) из комнаты
[05:10:36] sevenov вышел(а) из комнаты
[10:27:57] ermine вышел(а) из комнаты
[10:49:38] ygrek вошёл(а) в комнату
[10:53:31] <ygrek> не, я не имел ввиду субмодули, а просто общая репа на несколько либ
[12:35:26] ermine вошёл(а) в комнату
[14:04:44] sevenov вошёл(а) в комнату
[14:25:37] <ermine> ygrek: мне неудобна общая репа
[14:38:46] <ermine> ping
[15:34:23] <ygrek> аргх
[15:34:34] <ygrek> 2 из 3 решил во втором раунде
[15:34:41] <ygrek> в смысле в первом
[15:41:28] <gds> gcj?
[15:42:07] <ygrek> угу
[15:42:42] <gds> есть под рукой урлы условий задач?
[15:46:14] <ygrek> http://code.google.com/codejam
[15:46:38] <ygrek> http://code.google.com/codejam/contest/dashboard?c=189252#s=p0
[15:51:29] <gds> про алиенские циферки -- перебором? для каждого основания (от 2 до 10+26) подразумевать, что первая цифра означает 1, следующая незанятая -- 0, дальше 2, 3, .. -- примерно так?
[15:52:42] <gds> ясное дело, если разных цифер и букв у нас N, то основание не может быть меньше N.
[15:52:58] <ygrek> угу, в лоб
[15:53:02] <ygrek> перебора нет
[15:53:23] <ygrek> вторая считается тоже в лоб
[15:53:47] <gds> почему перебора нет -- потому что выгоднее брать основание N всегда?
[15:54:05] <ygrek> потому что минимальное число всегда имеет вид 10234... :)
[15:54:38] <ygrek> а втретьей я решил что есть непереборное решение что по всей видимости не так
[15:54:55] <ygrek> ну в следующем раунде наконец точно вылечу
[15:57:28] <gds> вторая задачка -- вроде тупаковая. только t_min может быть отрицательно.
[15:59:23] <gds> третью ниасилил сходу, лень вникать, но явно сложнее.
а чего вылетать собрался в следующем раунде?
[16:05:21] sevenov вышел(а) из комнаты
[18:05:16] <gds> если readme короткий, может есть смысл его в mli запихать и ocamldoc'ом генерить доку, содержащую как общее описание, так и интерфейс?
[18:08:47] <ermine> а компиляцию тоже там же описать?
[18:09:58] <ermine> жалко что ocamldoc в код не смотрит, а то как-нить из плагина камлобилда бы автоматом генерила доку по сборке
[18:14:03] <gds> мда, компиляция -- верно. Видимо можно выкрутиться так: в INSTALL описать, как и что компилировать, а за документацией отослать к ocamldoc-generated docs.
[18:16:09] <ermine> gds: та из плагина же можно выцепить какие либлы нужны и какие рулеса
[18:16:40] <ermine> а писать руками install - грех страшенный, тем более что часто встречаются устаревшие доки
[18:18:03] <gds> в текстовом INSTALL описать, что сборку проводить надо через "ocamlbuild install" или "make install", например. С остальным плагин разберётся.
[18:18:09] <gds> почему грех?
[18:18:45] <ermine> не падейтят, пока ктонить не пнёт
[18:18:56] zfsed вошёл(а) в комнату
[18:20:18] <gds> да ладно, у меня он не предполагается быть изменённым в будущем.
[18:22:04] zfsed вышел(а) из комнаты
[18:24:03] <ygrek> readme в mli вполне тру
[18:24:31] <ygrek> можно прямо в mli не включать, ocamldoc может txt файлы тоже обрабатывать
[18:28:48] <gds> да проще в mli. Не беда.
[18:41:31] <ygrek> lies, damn lies and statistics:
http://www.go-hero.net/jam/09/languages
в моём раунде у камля коэффициент прохождения 100% -- наряду с basic и actionscript :)
[18:42:25] sceptic вышел(а) из комнаты
[18:42:58] <gds> ничо, нормально :) кому надо, разберётся в цифрах.
[18:46:00] sceptic вошёл(а) в комнату
[18:50:24] <ermine> с камлом негусто
[19:21:07] john вышел(а) из комнаты: Replaced by new connection
[19:21:08] john вошёл(а) в комнату
[19:44:16] 604 вошёл(а) в комнату
[20:02:47] <ygrek> fastcgi процесс с ocamlnet. раз в несколько дней сокет залипает в ESTABLISHED состоянии с данными в recv-q, ocamlnet висит в unix_read'е в netchannels, tcp backlog забивается и соответственно upstream connect timeout в логах nginx'а.. самое странное что второго конца этого соединения нету, т.е. nginx его закрыл, а мой процесс этого не увидел.
[20:08:27] inky-kinky вошёл(а) в комнату
[20:09:54] <ygrek> насчёт камлунити -- мне лично влом ставить/настраивать какой-нибудь cms написанный на не пойми чём. зато мне вполне интересно накропать очередной n+1 велосипед на камле. так что в бэкграунд режиме занимаюсь.
[20:22:37] <ermine> ocsigen! (кричали пьяные пионеры)
[20:30:23] ermine вникает в использование json-wheel
[20:33:27] <gds> ygrek: а тебе интересно поучаствовать в проекте "пхп over ocaml"? то есть, fastcgi-сервер, регистрируется функция для разбора http-запросов (тупая-тупая), есть ocamldbi или аналог, есть camltemplate для html?
[20:34:46] <gds> цель -- позволить инкрементальный апгрейд для людей, привыкших писать html в stdout, изменяющий только язык реализации, плюс, в будущем, какие-то умные фишки поверх этого.
[20:38:37] ermine подрядилась в другом проекте на ырланке бороться с [nvktv и bbcodes в комментах с помощью камла
[20:39:09] <604> что значит "пхп over ocaml"? интерпретатор сделать хотите?
[20:39:23] <gds> нет. просто такая же тупая штука, но на окамле.
[20:39:54] <ermine> gds: да зачем? ocamlduce + ocsigen!!!!1111
[20:40:32] <gds> 604: компилируется программа, в которой определённая пользовательская функция обрабатывает http-запросы, поступающие через fastcgi от какого-нибудь легковесного сервера типа nginx.
[20:40:44] <gds> ermine: разделять труд дизайнера и кодера как будешь?
[20:41:15] <ermine> gds: найди страдальца, который будет ваять css
[20:41:23] <ermine> а мы посмеемся
[20:41:26] <gds> одним css ссыт не будешь.
[20:41:38] <gds> вот из-за того, что посмеётесь, таким путём я не пойду.
[20:42:33] <604> свой Http-сервер, который будет заточен только под 1 сайт?
[20:43:26] <gds> свой fastcgi-сервер на 1 сайт. а вот http-сервером разрулить, какому fastcgi-серверу какой сайт обслуживать. ну это как вариант, пока самый лучший из тех, которые вижу. (в том числе по безопасности)
[20:43:37] <ermine> gds: а вообще это мне знакомо - выбирать софт для делания сайта. Обычно это заканчивается тем, что тот, кто разводит вот такие речи, как ты, сам и берется за дело, а другие приписывают мелкие-мелкие кусочки кода
[20:43:46] <ermine> и css тоже будешь ты делать :)
[20:44:20] ermine безжалостно смотрит на gds
[20:44:58] <gds> из-за того, что мне хочется разделить труд кодера и верстальщика, кодеру придётся делать больше работы? нипаняяятная.
[20:45:23] <604> пересобирать сервер, чтобы внести изменения на сайт - это жесть. Оправдано только для очень нагруженных проектов
[20:45:46] <ermine> нет, из-за того что каждый по-своему хочет
[20:46:44] <ermine> 604: у тебя представления, извините, общепитовские
[20:47:35] <604> может я чего-то не понимаю? это можно проще сделать?
[20:47:39] <gds> 604: с одной стороны, у нас есть dynamic linking, никто не мешает сделать слой на нём. С другой стороны, почему бы не держать на хостинге окамл-компилятор? Более того, это просто необходимо для безопасности, если предоставлять хостинг народу.
Но проблема появляется: изменили функцию, а она по-другому работает с состояниями, закодированными в get-параметрах -- как жить будем?
[20:48:16] <gds> ermine: вот-вот, ты как раз по-своему хочешь, а ещё говоришь, что это я по-своему хочу!
[20:48:52] <ermine> gds: ну делай, кто ж тебе мешает-то
[20:49:12] <ermine> gds: только не забудь сразу сделать публичным репу сайта
[20:49:37] <gds> проект начал месяц назад, сейчас оформляю способ написания документации (хренька из s-выражений, которые в utf8, для которых ломаю лексер).
[20:49:53] <gds> ermine: про публичность ниасилил -- если не подкалываешь, то зачем ещё?
[20:51:11] <ermine> gds: а не помнишь, как линукс появился (в теории)?
[20:52:01] <gds> жил был один финский красноглазик, lazy git. дальше чото не помню.
[20:53:00] <ermine> он написал какую-то хреньку и выложил куда-то
[20:53:11] <ermine> дальше - как в сказке: ему стали присылать патчи
[20:53:34] <604> целая армия разработчиков
[20:53:48] <gds> ага, идею понял.
ну это реально как в сказке. в xussr молча пользовали бы, и присылали бы матершину о том, как хреново всё работает.
[20:55:10] <ermine> gds: ладно, менее сказочный проект - ejabberd
[20:55:32] <ermine> на диковинном языке
[20:55:42] <gds> от которого отказался jabber.org!111
[20:55:47] <ermine> а может и более сказочный?
[20:56:00] <604> правда отказался?
[20:56:11] <gds> по слухам.
[20:56:22] <ermine> зато lj поставил себе, а он более крупный чем мелкий jabber.org
[20:56:50] <604> а jabber.ru вроде на нем работает. правда, сообщения всё равно теряет
[20:56:55] <gds> а, ну да, отказался: http://www.jabber.org/
[20:57:13] <gds> ну ладно, нельзя уже потравить ырланк :)
[20:57:47] <ermine> вот уже травят потерями сообщений
[20:58:10] <ermine> 604: как правило это происходит на gprs
[20:58:24] <604> как правило, но не только
[20:58:43] <ermine> ырланк к gprs отношения вряд ли имеетт
[20:58:55] <ermine> ну это естественно
[20:59:52] <ermine> а вот когда jabber.org перейдет на isode - посмотрим кто будет смеяться
[21:00:15] <604> я к тому, что протокол подтверждения о доставке поддерживает, а вот эта реализация - нет
[21:00:35] <ermine> он есть в tcp
[21:01:21] <ermine> send() отправил - значит пакет дошел до адресата, дальше это проблемы не application level
[21:01:35] <ermine> и незачем костыли разводить
[21:02:26] <ermine> но tcp сам тоже глюкав и поэтому надо на sctp переходить
[21:02:59] <604> дык ведь получается, что без костылей не может нормально работать
[21:04:46] <ermine> если голова болит -- ее следует отрезать
[21:09:23] <gds> в том-то и дело, что в жаббер-протоколе могли бы предоставить решение, не требующее отрезания tcp/ip.
[21:26:54] ygrek вышел(а) из комнаты
[22:06:29] sceptic вышел(а) из комнаты
[22:09:33] sceptic вошёл(а) в комнату
[22:23:49] inky-kinky вышел(а) из комнаты
[22:25:12] sevenov вошёл(а) в комнату
[23:07:17] <gds> текущее состояние: потроха работают в частном случае (низы ок), написал документацию и сигнатуру (верхи ок), теперь надо бы их слепить воедино. еавижу это дело. но написание низов было важно для proof of concept, а написание верхов -- для получения целостной картины.
[23:11:17] sevenov вышел(а) из комнаты
[23:14:44] sevenov вошёл(а) в комнату