Objective Caml - Пятница, 8 апреля 2011

Objective Caml

ocaml@conference.jabber.ru

Пятница, 8 апреля 2011< ^ >

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

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

GMT+4
[00:00:09] komar вошёл(а) в комнату
[00:18:31] komar вышел(а) из комнаты
[00:19:19] komar вошёл(а) в комнату
[00:21:17] Kakadu вышел(а) из комнаты
[00:52:52] arhibot вошёл(а) в комнату
[00:59:12] <arhibot> Typhon: потому что они нечеловеческие?
[00:59:43] <ygrek> а какие человеческие?
[01:00:18] <arhibot> rebar же
[01:03:18] <ygrek> что-то гугль для этой мегатулзы даже офсайт не находит
[01:03:27] arhibot вышел(а) из комнаты
[01:03:30] arhibot вошёл(а) в комнату
[01:04:36] <arhibot> ygrek: ну а что человеческие? :( если даже некоторые окамлисты, rake берут
[01:05:52] <ygrek> за некоторых не скажем, но камлобилд вполне себе человеческий
[01:06:01] <ygrek> начиная с 3.12 скажем
[01:07:02] <ygrek> oasis тоже
[01:08:32] <arhibot> угу. в моем сквизе 3.12 нет
[01:08:58] <arhibot> и oasis
[01:09:02] <arhibot> а rake есть везде
[01:11:08] <ygrek> > Depends: ruby
dependency ultimately failed
[01:11:28] <arhibot> ок. maven?
[01:11:38] <ygrek> оазис генерит билд систему поэтому конечным пользователям кроме камля вообще ничего не надо
[01:12:05] <ygrek> тащить жабу ради билд-системы это зачётно конечно
[01:12:20] <arhibot> да и оно есть в репах
[01:12:22] <arhibot> у всех
[01:13:01] <arhibot> а у окамла зоопарк
[01:13:22] <ygrek> так это ж преимущество
[01:13:32] <arhibot> это геморой =/
[01:14:13] ygrek вообще большинство либ из debian ставит
[01:14:32] <arhibot> мы говорили про либу с гитхаба
[01:15:01] <ygrek> да я вообще не понимаю про что мы говорим
[01:15:11] <ygrek> что значит человеческая билд-система?
[01:15:25] <ygrek> то что у камля зоопарк для сборки я не спорю
[01:15:30] <Typhon> так самое главное, _oasis сделать -- пять минут, натурально. я для окамл-редис для билда слелал
[01:15:32] <arhibot> значит, что мне надо нажать на кнопку---сделать зашибись и пакет соберется
[01:15:54] <Typhon> (правда автор там с тестами намудрил ещё -- они там рубями тоже генерируются)
[01:15:59] <arhibot> нажал еще раз и пакет поставился в систему
[01:16:15] <Typhon> arhibot, так ты про oasis!
[01:16:20] <ygrek> ну в 90% случаях так и есть - ./configure && make && make install, ага
[01:16:27] <arhibot> Typhon: у меня в репах его нет, да
[01:16:38] <ygrek> arhibot: он тебе в репах и не нужен
[01:16:42] <ygrek> > оазис генерит билд систему поэтому конечным пользователям кроме камля вообще ничего не надо
[01:16:47] ftrvxmtrx вышел(а) из комнаты
[01:16:54] <Typhon> arhibot, это твой промах, что его нет в репах
[01:16:59] <Typhon> ;-)
[01:17:24] <ygrek> git clone xxx && ocaml setup.ml -all && ocaml setup.ml -install
[01:17:25] <Typhon> лёгал недавно говорил про это, проблема "курицы и яйца"
[01:17:26] <ygrek> всё
[01:17:52] <arhibot> ygrek: клёво, да то что надо
[01:18:28] <arhibot> прям как в питоне
[01:18:49] ftrvxmtrx вошёл(а) в комнату
[01:20:01] arhibot вышел(а) из комнаты
[01:20:04] arhibot вошёл(а) в комнату
[01:24:00] arhibot вышел(а) из комнаты
[01:49:47] ygrek отправил ocaml патч в ragel и уполз дрыхнуть
[01:50:14] zert вышел(а) из комнаты
[01:53:34] ygrek вышел(а) из комнаты
[02:33:43] Typhon вышел(а) из комнаты
[08:32:52] iNode вошёл(а) в комнату
[08:55:36] gds вошёл(а) в комнату
[09:23:16] <gds> f[x]: а зачем тебе "Obj.magic ()" был нужен?
[10:06:59] zert вошёл(а) в комнату
[10:46:14] ftrvxmtrx вышел(а) из комнаты
[11:22:32] <f[x]> для создания полиморфного массива, в который потом уже присваиваются нормальные значения
[11:26:22] Kakadu вошёл(а) в комнату
[11:31:45] ftrvxmtrx вошёл(а) в комнату
[11:35:02] Typhon вошёл(а) в комнату
[11:40:20] <Typhon> хинт: внимательнее читайте спеки на протокол, который реализовываете. я решил для bson базовой encode функцией сделать encode_to_stream а из неё потом уже и в строку/файл делать. однако первые четыре байта с результате в БСОНе представляют не количество элементов, как я прочитал, а количество байт в результате. разумеется, стрим, в котором первый элемент вычисляется последний теряет все свои плюшки :-)
[12:10:48] <Kakadu> народ, у вас на линуксах камло, установленное из пакетов (checkinstall) или из исходников (make install)
[12:10:54] <Kakadu> ?
[12:11:20] <Kakadu> интеллект говорит, что  пакетами надежнее, но заморачиваться как-то не хочется.
[12:12:26] <f[x]> чего чего? какой checkinstall? брось каку!
[12:13:47] <zert> из ебилдов
[12:14:26] iNode вышел(а) из комнаты
[12:15:09] <Kakadu> zert: ебилды это типа пакеты под вашей гентой?
[12:15:29] <zert> нет, это типа скриптов канпеляции и установки
[12:15:47] <zert> но у меня сабаён, так что даже не из ебилдов, а из пакетов сабаёньих
[12:15:51] <zert> а они уже из ебилдов
[12:16:01] <zert> но я их не канпелял
[12:16:34] <Kakadu> так всё-таки - лучше заморачиваться генерацией пакетов, а потом их ставаить, или лучше просто превращать систему в слаку?
[12:16:47] <zert> у тебя какой дистр?
[12:16:53] <Kakadu> дебиан
[12:17:01] <zert> и там что ли камла нету?
[12:17:12] <Kakadu> ну порой староват
[12:17:14] <zert> пакеты по-любому лучше
[12:20:26] <Typhon> Kakadu: вроде бы, 3.12 вот вот появится в тестинге (или анстейбл) — что-то такое слышал на ирц
[12:20:55] <Kakadu> Typhon: уже: http://ocaml.debian.net/debian/ocaml-3.12.0/pool
[12:23:33] Kakadu вышел(а) из комнаты
[12:23:43] Kakadu вошёл(а) в комнату
[12:34:36] iNode вошёл(а) в комнату
[13:00:00] gds вышел(а) из комнаты
[14:05:56] ermine вошёл(а) в комнату
[14:35:33] gds вошёл(а) в комнату
[14:51:14] ygrek вошёл(а) в комнату
[15:17:10] ygrek вышел(а) из комнаты
[15:48:27] Kakadu наконец-то почувствовал жабаскрипт. В firefox4 его код работает, а в хроме - фиг
[15:49:47] <zert> отож
[15:50:14] <Kakadu> а я думал хром - хороший
[15:50:52] <gds> они многие хорошие, да по-разному.  Кроме ие.
[15:51:31] <Kakadu> а какая статистика по браузерам в чатике? я - хромиум (вернее iron)
[15:52:10] <ftrvxmtrx> ff4+pentadactyl
[15:52:14] <gds> ff3, links, для редких применений ie.
[15:52:20] <zert> у меня тоже. долго сидел на conkeror, но таки перелез
[15:53:05] <Kakadu> я всегда считал фф3 лагающим по сравнению со хромом....
[15:53:48] <f[x]> opera
[15:54:54] <Kakadu> ща поставлю оперу и протестю
[15:59:52] <Kakadu> опера вааще офигела: работает как хром, а файрбаг открыла в нутри тго маленького фрейма, что у меня на странице есть
[16:07:40] <Kakadu> короче то, что я написал работает только в фф4
[16:08:09] <Typhon> добро пожаловать в светлый мир клиент-сайд веб программирования
[16:12:17] <Kakadu> может говнолайт и хорош идейно... вместе с флешем чертовым
[16:24:32] gds вышел(а) из комнаты
[16:52:23] iNode вышел(а) из комнаты
[17:11:54] <f[x]> а нет ли готовой либы со строковыми операциями где строка представлена в виде (немутабельных) отрезков другой строки?
[17:12:57] <f[x]> type t = (s,ofs,len)
[17:13:59] Kakadu вспомнил про списковые строки в хаскелле и хипперы, которые видел внутри janestreetCore
[17:14:10] <Kakadu> зипперы*
[17:14:36] <f[x]> мне скорость нужна, а не списки :)
[17:14:57] <Typhon> https://github.com/orbitz/ocaml-bio/ https://github.com/orbitz/ocaml-bio/
[17:15:00] <Typhon> можно тут поискать
[17:15:05] <Typhon> вполне вероятно, что будет похожее
[17:15:30] <Typhon> ой, две одинаковые кинул
[17:15:31] <Typhon> ща
[17:15:41] <Typhon> https://github.com/agarwal/biocaml
[17:17:52] <Typhon> кстати, попутно нашлось вот такое: https://github.com/orbitz/ca-ocaml-platform — петон правда в зависимостях :-(
[17:19:54] <f[x]> хм, там нет ничего похожего
[17:21:17] gds вошёл(а) в комнату
[17:24:32] <Typhon> жаль, биоинформатики могли в чём-то похожем нуждаться.
[17:24:54] <Typhon> а rope не подойдёт?
[17:25:13] <Typhon> "отрезки", иммутабельность есть
[17:30:21] <f[x]> надо посмотреть. ценность в готовых операциях, сложного-то ничего нет, просто реализовать
[17:35:26] Kakadu вышел(а) из комнаты
[17:37:34] Kakadu вошёл(а) в комнату
[17:39:29] Kakadu вышел(а) из комнаты
[17:39:39] Kakadu вошёл(а) в комнату
[17:47:20] <gds> f[x]:
> сложного-то ничего нет, просто реализовать
потому-то я готового не искал, велосипедил, но вот попробовал поискать и ничего не нашёл.
с другой стороны, не видел общественной ценности в публикации велосипедов, так как мутабельные строки это не очень хорошо, поэтому не думал, что кому-нибудь это нужно.
с третьей стороны, надо fingertrees таки осилить как-нибудь, рано или поздно, ибо хорошая структура данных, и для отрезков сгодилась бы.
[17:47:51] <gds> (какую-то реализацию fingertrees на окамле я видел, но мне что-то там показалось стрёмным.  надо будет посмотреть.)
[17:48:10] <f[x]> не надо нас пугать
[17:48:16] <f[x]> зачем пальцедерево?
[17:49:08] <f[x]> т.е. задача - пришла строка - её надо распарсить, повыкусывать кусочки, так вот вместо того чтобы выкусывать их по настоящему - делаем ссылки на кусочки
[17:49:15] <f[x]> (как в bitstring кстати)
[17:49:50] <f[x]> но потом с этими кусочками хочется нормально работать, т.е. скажем хочется (почти) все операции из ExtString
[18:06:44] <gds> если просто работать с одним кусочком -- велосипедил.  со списком кусочков -- тоже, но для случая "список кусочков массивов".  а вот "список кусочков строк" -- вот это нет.
[18:06:57] <Typhon> грязновато как-то, но может быть полезно, я бы попользовался даже, может быть :-) если найдёшь/сделаешь, сообщи
[18:07:19] <Typhon> на ocsigen.org уже все порисовали ?
[18:09:13] <f[x]> что ты имеешь ввиду под списком кусочков?
[18:09:30] <f[x]> в смысле строка представлена как список отрезков?
[18:09:46] <gds> Typhon: если уж делать, то по-пацански.  Реализовать кучу всего, предупредить в ридми "не пачкайте строки, это вам не байтовые буферы".  Пока нужды не будет, не возьмусь, времени мало сейчас.  А там и нормальные строки сделают в окамле :)
[18:12:52] <gds> f[x]: да.  Список { str:string; ofs:int; len:int }.  Кое-где именно такое надо было.  Ну, там, индексы/деревья, опциональная склейка по нужде, но правильно делат -- заломало, ибо, фактически, свой мусорщик поверх строк надо было делать (следить за тем, какие строки отпускать, скопировав, а какие нет).  Потому что оба края не ок -- и постоянно копировать (не лучше стандартных строк), и постоянно шарить строки (ибо будет, вероятно, течь на случаях "ото всех по чуть-чуть").
[18:14:19] <f[x]> это пожалуй перебор - я думаю - основа одна строка должно быть ок
[18:21:13] <gds> про перебор -- брал ocaml-iteratees и хотел самое тупое реализовать.  Специфика -- массивы и их куски.  Так и сделал, просто и тупо, поверх одного массива.  Однако потом таки понадобилось рассматривать два куска как один, родил "склеенные куски нескольких массивов" (вроде, для рождения utf8-преобразовалки char -> int).  Далее понадобилось склеивать эти куски (предварительно разбитые), это уже для того, чтобы ограничить составной итерат определённым количеством элементов.  Я к чему -- очень вероятно, что и в твоём случае понадобятся извращённые фокусы, если не сейчас, так попозже.
[18:24:13] <gds> кстати вот, ocamlfind'овские "подпакеты" ("lwt.unix" например) -- в чём они отличаются от отдельного пакета?  По интуиции, мне надо бы нарожать пару подпакетов, но хочется сначала узнать детали.
[18:24:57] <f[x]> ничем, просто способ группирования/разделения имён
[18:26:04] <f[x]> может и понадобится, но можно ведь и клеить
[18:26:21] <f[x]> в смысле делать новую строку-базу
[18:26:34] <f[x]> т.е. у меня упор на разбиение пока-то
[18:29:44] <gds> про подпакеты -- осилил, буду пробовать.
про разбиение -- навелосипедить проще.  брать чисто нужные операции.
да вообще, с "гибкость vs производительность" в отношении строк какие-то засады.  либо гибкое (разное для разных случаев, а то и сопрягаемое), либо байтовые буферы.
[18:47:29] Kakadu вышел(а) из комнаты
[19:35:17] Kakadu вошёл(а) в комнату
[20:13:57] aloner2k вышел(а) из комнаты
[20:18:09] ftrvxmtrx вышел(а) из комнаты
[21:21:36] komar вышел(а) из комнаты: Replaced by new connection
[21:21:36] komar вошёл(а) в комнату
[21:25:28] ftrvxmtrx вошёл(а) в комнату
[21:40:30] Typhon вышел(а) из комнаты
[21:56:46] ftrvxmtrx вышел(а) из комнаты
[21:59:25] ftrvxmtrx вошёл(а) в комнату
[22:30:32] arhibot вошёл(а) в комнату
[22:34:03] avysk вошёл(а) в комнату
[22:34:06] avysk вышел(а) из комнаты
[22:36:03] Typhon вошёл(а) в комнату
[22:51:52] arhibot вышел(а) из комнаты
[23:10:57] ermine вышел(а) из комнаты