Objective Caml - Суббота, 30 апреля 2011

Objective Caml

ocaml@conference.jabber.ru

Суббота, 30 апреля 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:05:26] <zert> щьто?
[00:05:53] <zert> сошки не нужны
[00:09:57] ermine вышел(а) из комнаты
[00:12:01] komar вышел(а) из комнаты: Replaced by new connection
[00:12:01] komar вошёл(а) в комнату
[00:15:54] komar вышел(а) из комнаты: Replaced by new connection
[00:15:54] komar вошёл(а) в комнату
[00:46:13] <Kakadu> <hnrgrgr> DimitryKakadu: tonight, I'm not sure how to modify HTML5_types.mli to fix iframe support
<hnrgrgr> in the meantime, adding 'Iframe in the type core_flow5 (l.872 file HTML5_types.mli)
[00:46:24] <Kakadu> кто может перевести вторую фразу?
[00:46:37] <gds> zert: нужны ли сошки -- когда как.  Подскажи, если не сложно, 1. какие задачи ими типично решают, и 2. почему, с твоей точки зрения, они не нужны.
Если бы дело касалось сишечьки и, может быть, о'камелька, то не спрашивал бы, ибо примерно понятно.
[00:46:41] <Kakadu> меня смущает "тем временем"
[00:47:49] <gds> Kakadu: "тем временем" = "in the meantime"?
[00:48:03] <Kakadu> lingvo думает так
[00:49:34] <zert> в ерлангие сошками решают те задачи, которые ерланг не умеет
[00:49:36] <gds> cunei lingvo.
[00:49:41] <zert> например, быстро считать математику
[00:49:47] <zert> криптографие, например
[00:50:04] <zert> или взаимодействие с железом, низкоуровневое что-нибудь
[00:50:37] <Kakadu> только  я не понимаю что такое сошки?
[00:52:54] <gds> zert: понял про сошки, очень грамотно, уважаю.  Но почему локи?  Кривые сошки?  Проблемы в виртуальной машине?
[00:55:48] <zert> виртуальная машина так работает
[00:55:53] <zert> ну и не глобальные локи
[00:56:00] <zert> лочится один тред
[00:56:09] <zert> но если в сошке косяк, то падает вся машина
[00:56:55] <zert> если сделать дохрена тредов, то будет нормально работать, локи будут незаметны
[00:57:09] <zert> насчёт их ненужности, я, конечно, потроллил
[00:57:10] <gds> Kakadu: сошки -- это от слова "соха".  В сибири на болотах ставили "сохи" (им.п. "соха") -- такие длинные, тонкие палки, воткнутые в болото, которые как бы намекали, где можно идти.  (а умные сохи служили ориентирами, и люди шли "примерно на них", и получалось).  Сошка -- это такая маленькая соха.  Либо она ушла в болото, либо шушпанчик проснулся от мирового сна и сгрыз.  Выборочно.
[00:57:38] <zert> но надо сначала понять, что без сошки никак
[00:57:51] <Kakadu> gds: аллегория?
[00:59:08] <gds> zert: да, теперь всё понятно.  Даже примерно понятно, как изнутри.  Сам бы так сделал, вероятно.  Если и лучше -- то не намного.
[01:00:43] <zert> в ерланге сошками сделаны sctp/tcp/udp взаимодействия, криптография (ssl подключается)
[01:01:10] <gds> Kakadu: я про сошку рассказал.  Хоть я и расовый малдаван, у меня все бабки-дедки из сибири.  На словах я знаю, кто куда, а на деле -- так, в местных лесах смотрел.  Не больше.
[01:02:34] <gds> zert: понял.  У меня есть напрягающие моменты, про которые думаю "message passing или манатки+императивщина", и примерно понял, когда люди уходят в сошки.
[01:07:30] gds вышел(а) из комнаты
[01:20:43] Typhon вышел(а) из комнаты
[01:21:39] ftrvxmtrx вышел(а) из комнаты: offline
[01:21:48] ftrvxmtrx вошёл(а) в комнату
[01:48:47] komar вышел(а) из комнаты: Replaced by new connection
[01:48:48] komar вошёл(а) в комнату
[01:53:38] komar вышел(а) из комнаты: Replaced by new connection
[01:53:42] komar вошёл(а) в комнату
[02:04:27] Kakadu вышел(а) из комнаты
[02:22:10] komar вышел(а) из комнаты: Replaced by new connection
[02:22:11] komar вошёл(а) в комнату
[02:25:40] zert вышел(а) из комнаты
[02:26:33] bobry вышел(а) из комнаты
[02:31:26] komar вышел(а) из комнаты: Replaced by new connection
[02:31:27] komar вошёл(а) в комнату
[02:31:45] bobry вошёл(а) в комнату
[02:43:33] komar вышел(а) из комнаты: Replaced by new connection
[02:43:33] komar вошёл(а) в комнату
[02:45:43] <bobry> https://github.com/MFP/OcsiBlog/blob/master/simple_markup.ml
[02:59:27] komar вышел(а) из комнаты: Replaced by new connection
[02:59:28] komar вошёл(а) в комнату
[03:07:51] komar вышел(а) из комнаты: Replaced by new connection
[03:07:51] komar вошёл(а) в комнату
[03:15:22] komar вышел(а) из комнаты: Replaced by new connection
[03:15:22] komar вошёл(а) в комнату
[03:23:39] komar вышел(а) из комнаты: Replaced by new connection
[03:23:40] komar вошёл(а) в комнату
[03:27:55] komar вышел(а) из комнаты: Replaced by new connection
[03:27:56] komar вошёл(а) в комнату
[03:36:24] komar вышел(а) из комнаты: Replaced by new connection
[03:36:25] komar вошёл(а) в комнату
[03:49:25] komar вышел(а) из комнаты: Replaced by new connection
[03:49:26] komar вошёл(а) в комнату
[03:51:47] komar вышел(а) из комнаты: Replaced by new connection
[03:51:48] komar вошёл(а) в комнату
[03:54:40] komar вышел(а) из комнаты: Replaced by new connection
[03:54:40] komar вошёл(а) в комнату
[04:05:51] komar вышел(а) из комнаты: Replaced by new connection
[04:05:51] komar вошёл(а) в комнату
[04:09:39] komar вышел(а) из комнаты: Replaced by new connection
[04:09:40] komar вошёл(а) в комнату
[04:21:26] komar вышел(а) из комнаты: Replaced by new connection
[04:21:28] komar вошёл(а) в комнату
[04:57:29] komar вышел(а) из комнаты: Replaced by new connection
[04:57:30] komar вошёл(а) в комнату
[05:01:27] komar вышел(а) из комнаты: Replaced by new connection
[05:01:28] komar вошёл(а) в комнату
[05:07:06] komar вышел(а) из комнаты: Replaced by new connection
[05:07:07] komar вошёл(а) в комнату
[05:10:02] komar вышел(а) из комнаты: Replaced by new connection
[05:10:03] komar вошёл(а) в комнату
[05:42:42] komar вышел(а) из комнаты: Replaced by new connection
[05:42:43] komar вошёл(а) в комнату
[06:34:35] komar вышел(а) из комнаты: Replaced by new connection
[06:34:35] komar вошёл(а) в комнату
[07:15:02] komar вышел(а) из комнаты: Replaced by new connection
[07:15:02] komar вошёл(а) в комнату
[07:26:33] komar вышел(а) из комнаты: Replaced by new connection
[07:26:34] komar вошёл(а) в комнату
[07:48:40] iNode вошёл(а) в комнату
[07:48:43] komar вышел(а) из комнаты: Replaced by new connection
[07:48:43] komar вошёл(а) в комнату
[07:57:10] komar вышел(а) из комнаты: Replaced by new connection
[07:57:10] komar вошёл(а) в комнату
[08:14:23] Typhon вошёл(а) в комнату
[09:26:12] komar вышел(а) из комнаты: Replaced by new connection
[09:26:13] komar вошёл(а) в комнату
[10:57:20] ermine вошёл(а) в комнату
[11:02:31] komar вышел(а) из комнаты
[11:05:21] komar вошёл(а) в комнату
[11:33:30] gds вошёл(а) в комнату
[11:35:31] <gds> кстате вот, алерты подкинули такую ссылоту: http://forge.ocamlcore.org/anonscm/hg/ocaml-iteratees/ocaml-iteratees/ , там ещё некоторые репки есть.  но неизвестно, почему anonscm.
[11:43:15] <Typhon> анонимный доступ, видимо. у меня там пусто. это твои итераты? или чужие?
[11:43:52] <gds> по названию -- мои, по содержимому -- нет там ничего вообще.
[11:44:58] <Typhon> http://forge.ocamlcore.org/anonscm/hg/ocaml-cyclist/ocaml-cyclist/ и тут нету
[11:45:06] <Typhon> а в соседнем overbld -- есть
[11:45:36] iNode вышел(а) из комнаты
[11:46:06] <gds> да, странно всё это.
может это мирроры(?) для анонимного доступа?  я помню, что просил сильвана про анонимный доступ для оверблд, но не просил про остальное.
[12:14:49] zert вошёл(а) в комнату
[12:33:20] Typhon вышел(а) из комнаты
[13:08:12] digimmortal@jabber.ru вошёл(а) в комнату
[13:09:38] digimmortal@jabber.ru изменил(а) имя на digimmortal
[13:11:27] digimmortal вышел(а) из комнаты
[13:13:24] digimmortal вошёл(а) в комнату
[14:07:33] <gds> ещё в одном проекте велосипедю подстроки ({str;ofs;len}).  Не дело это.
[14:08:24] <gds> гуглота по "ocaml substrings" ничего умного не показывает.
[14:09:48] <ermine> а что за субстринги?
[14:10:07] <gds> то, что надевают под стринги :]
[14:10:29] <gds> есть строка и есть смещение начала подстроки и её длина, и хочется какие-то вещи делать с этим всем.
[14:10:48] <gds> на камлофоржике тоже ничего не ищется, кроме ropes.
[14:11:27] <ermine> а, без аллокации новой строки?
[14:11:33] <gds> ага, и без копирования.
[14:12:15] <ermine> да, меня тоже бесит что для сравнения начала двух строк надо извращаться
[14:13:11] <ermine> вариант - юзать pcre
[14:14:41] <gds> и ещё надо, в идеале, склеивать это добро, то есть, тип должен выглядеть как type t = [ Substring of string and ofs and len | Cat of list t ], и должна быть операция типа "склеить всё в новую строку", ну и реально склеивать, если делают какие-то операции, кроме склеивания (например, get / sub).
Но тут уже сложнее, поэтому пока не буду делать.
[14:14:48] <ermine> с другой стороны, без аллокации новой строки -- это без модификации старой строки, что тоже несколько ограничивает радиус радостей
[14:16:55] <gds> да, без модификаций старой исходной строки, но если сделать Cat как выше, вполне можно склеивать строки, и String.set выльется в разбиение подстроки на две по данному смещению (0 .. i и i+1 .. len-1) и склейку подстроки первой, строки с новым символом и подстроки второй.  Можно и так.  Но пока не очень нужно.
[14:17:09] <gds> в общем, делаю либу ocaml-substrings, название по идее катит?
[14:18:19] <gds> и да, точно, просто подстроки отделю от "склеиваемых" подстрок, ибо на "склеиваемых" очевидно дольше будут некоторые вещи работать, а это нужно делать осознанно.
[14:24:35] <gds> в общем, название катит :)
[14:32:45] digimmortal вышел(а) из комнаты
[15:01:23] <gds> в общем, я тут рожаю либы разные, но потом, надеюсь, найдётся добрый дядя, который расскажет кое-что про oasis и oasis-db, и я смогу это говнище устанавливать, грубо говоря, одной командой.
[15:04:03] Kakadu вошёл(а) в комнату
[15:26:31] ftrvxmtrx вышел(а) из комнаты
[15:33:58] komar вышел(а) из комнаты: Replaced by new connection
[15:33:59] komar вошёл(а) в комнату
[15:35:49] ftrvxmtrx вошёл(а) в комнату
[15:58:28] <gds> в общем, пока тупак -- https://bitbucket.org/gds/ocaml-substrings/ , но при необходимости буду добавлять.
Что интересно -- массивы и строки по сути одинаковы.  Надо бы как-то сделать так, чтобы не писать один и тот же код дважды.
[16:16:52] iNode вошёл(а) в комнату
[16:18:56] <gds> парвел: насчёт сериализации/десериализации получился такой интерфейс и "поведение по умолчанию": http://paste.in.ua/2258/
[17:32:00] Typhon вошёл(а) в комнату
[18:02:23] ermine вышел(а) из комнаты
[18:10:33] digimmortal вошёл(а) в комнату
[18:11:17] <digimmortal> а без капчи сюда можно заходить?
[18:11:23] <digimmortal> а то анноит малость
[18:11:39] <Kakadu> digimmortal: тебя надо в мемберы добавить
[18:12:18] <digimmortal> что для этого от меня требуется?
[18:12:57] <Kakadu> отпинать модераторов)
[18:13:17] <Kakadu> digimmortal: я тебя чего-то раньше не видел
[18:13:25] <Kakadu> новые люди, ура)
[18:13:35] <digimmortal> ну, я здесь впервые
[18:13:58] <digimmortal> так, что неудивительно :)
[18:20:56] <digimmortal> я так понимаю, что с OCaml под виндой совсем тоскливо и лучше какой-то UNIX взять?
[18:21:19] <Kakadu> лучше юникс взять потому что винда тосклива)
[18:21:24] <gds> окамл под виндой -- смотря какие цели.
[18:21:30] <Typhon> gds, http://paste.in.ua/2259/  -> патчем добавление оазиса. могу иным способом, пулреквестом каким-нибудь (хз, как они на битбакете работают). сейчас пишу инфу
[18:21:32] <Typhon> digimmortal, ОВЕРБЛД!
[18:21:46] <digimmortal> я честно пытался завести всё под виндой и что-то этот опыт не вдохновляет
[18:21:54] <Kakadu> всё
[18:21:57] <Kakadu> это что?
[18:22:07] <gds> digimmortal: попробуй перезайди, вроде добавил в мемберы.
[18:22:13] <gds> но не уверен.
[18:22:16] <digimmortal> ну, компилятор, либы
[18:22:18] <gds> ибо xmpp stanzas.
[18:22:36] <digimmortal> ок, попробую
[18:22:40] digimmortal вышел(а) из комнаты
[18:22:59] <Typhon> (сейчас пишу инфу в вики как это делать всё).
[18:23:04] digimmortal вошёл(а) в комнату
[18:23:18] <digimmortal> вроде работает
[18:23:21] <digimmortal> спасибо
[18:23:49] <digimmortal> ставил godi - потребовались пинки
[18:24:04] <digimmortal> сам камл под винду старый
[18:24:09] <gds> digimmortal: ну откуда идеи о том, что надо брать камло с офсайта и оттуда заводить всё вручную?...
[18:24:45] <digimmortal> а как надо?
[18:25:01] <digimmortal> overbld как-то пытался - торрент мёртвый был
[18:25:11] <digimmortal> по ссылке не качалось
[18:25:16] <gds> в линуксах как-то на пакеты смотрят, ну не знаю.
[18:25:31] <digimmortal> я про винду
[18:25:48] <gds> 3.11 устраивает?
[18:25:51] <digimmortal> в убунте в пакетах тоже старый
[18:26:00] <Kakadu> кто старый?
[18:26:02] <gds> в убунте 3.11
[18:26:04] <digimmortal> камл
[18:26:13] <Kakadu> ocaml.debian.net
[18:26:18] <Kakadu> там 3.12
[18:26:21] <gds> Typhon: патч вижу, сейчас применю.
[18:26:30] <gds> всё фтыкаю вот.
[18:26:38] <digimmortal> в итоге взял годи под убунтой и всё завелось
[18:26:45] <Typhon> digimmortal, https://github.com/camlunity/kamlo_wiki/blob/master/GettingStarted.md
[18:28:09] bobry вышел(а) из комнаты
[18:28:21] <digimmortal> Typhon: ага, видел
[18:28:42] <digimmortal> мне смутило то, что в пакетах есть не всё, что есть в годи
[18:29:21] <digimmortal> и я не уверен, что если ставить что-то пакетами, а что-то из годи, то всё будет ок
[18:30:14] <digimmortal> годи хоть и выглядит олдскульно, но вроде работает всё гладко
[18:30:34] <digimmortal> правда там тоже не всё новое
[18:31:28] <digimmortal> какие вообще врианты кто предпочитает?
[18:31:36] <digimmortal> винда тоже интересует
[18:32:08] <Kakadu> У меня дебиан и пакеты из репозитория + сбилженные руками
[18:32:33] <digimmortal> в винде с цигвином ocsigen из-под годи не компилится
[18:32:52] <digimmortal> с 64 битами похоже вообще труба
[18:33:13] <Typhon> оксиген на винде. если соберёшь, расскажи :D
[18:33:14] <Kakadu> оксиген вообще под виндой не работает
[18:33:26] <Typhon> Kakadu, откуда такая уверенность?
[18:33:30] <digimmortal> ясно :)
[18:33:39] <digimmortal> lebev?
[18:33:44] <digimmortal> libev?
[18:33:54] <Typhon> digimmortal, lwt можно на select переключить.
[18:33:58] <Kakadu> Typhon: на gsoc было задание сделать наконец оксиген для винды
[18:34:26] <Typhon> (хотя хз, нужно ли оно на винде, с селектом то? )
[18:34:43] <digimmortal> а разве окамл на гсок утвердили?
[18:34:52] <Typhon> digimmortal, неа :-( :'(
[18:35:01] <Typhon> но среди пропорсалов были, видимо
[18:36:25] <Kakadu> Typhon: ну я это и имел ввиде
[18:36:30] <Kakadu> ввиду*
[18:39:19] <digimmortal> а oasis это скорее make или cabal?
[18:40:31] bobry вошёл(а) в комнату
[18:40:44] <digimmortal> или это совсем тупой вопрос?
[18:40:45] <Typhon> cabak
[18:40:48] <Typhon> ой
[18:40:53] <Typhon> cabal :-)
[18:41:10] <Kakadu> Typhon: шинок ещё скажи)
[18:41:10] <digimmortal> т.е. альтернатива godi?
[18:42:28] <Typhon> digimmortal, пока -- нет, oasis-db -- что-то вроде того (сборник пакетов). оазис сам по себе -- средство для стандартиризации штоле пакетов. и введение единого ммеханизма установки.
[18:43:59] <Typhon> про азы оазиса я ща накатаю в вике
[19:01:54] <Kakadu> komar: у тебя не вызывает сомнения вот эта строчка?
https://github.com/camlunity/wysiwiki/blob/master/src/miniwiki.eliom#L378
[19:02:11] <Kakadu> у меня почему-то сыпется йаваскриптный иксепшн при работе
[19:02:19] <Kakadu> что-то там Not_found
[19:02:31] <Kakadu> может тут  какой просто ляп
[19:23:50] <bobry> https://github.com/LennMars/algorithms_in_OCaml/commit/b89678a160e2ec46b8359cf8d550eab1ba440161
[19:23:57] <bobry> nice
[19:24:23] <Kakadu> bobry: +1
[19:26:05] <Typhon> https://github.com/camlunity/kamlo_wiki/blob/master/GettingStarted.md  <- добавил про оазис, финдлиб неможко, топфинд. комментируйте/редактируйте :-)
[19:28:54] <bobry> oasis
E: No subcommand defined, call 'oasis -help' for help
[19:29:00] <bobry> странный какой то пример :)
[19:29:20] <bobry> oasis кстати только в sid'e
[19:29:41] <bobry> и готовых пакетов для убунты похоже нет в природе
[19:31:33] <Typhon> ну это пример что у тебя бинарнек есть :-) можно хелп, хз
[19:31:59] <digimmortal> в godi его что-то тоже не видно
[19:32:53] <Typhon> потомушта годи нинужен! %)
[19:33:19] <bobry> ну кстате odb тоже не хочет его ставить, или не может?
[19:33:58] <bobry> хочу свой пакетный менеджер для окамла сами знаете с чем :)
[19:34:18] <digimmortal> Typhon: почему?
[19:34:25] <digimmortal> вроде же работает
[19:34:40] <Typhon> так там всё старое и ничего нет
[19:34:50] <Typhon> им, кажется, кроме герда никто и не пользуется
[19:34:52] <Typhon> ^_^
[19:35:03] <Typhon> для оазиса есть инсталлер
[19:35:11] <Typhon> бенарный
[19:35:48] <bobry> ну это же не православно
[19:36:04] <bobry> хотя стоп, бенарный? может пакетик из него наваять, хмхм
[19:36:47] <Typhon> так в дебиане оазис же есть? наваяли б давно, там у него в зависимостях пара либ, все безпроблемные
[19:36:59] <Typhon> я убунтами не пользуюсь и не умею пакеты собирать :-(
[19:37:25] <bobry> в sid'e есть только
[19:37:32] <bobry> надо backport бы сделать
[19:37:51] Typhon не разбирается в идентификаторах этих ^_^
[19:38:00] <Typhon> знаю, что убунта новая "нарвалы!"
[19:38:16] <bobry> ну sid это самый нестабильный дебиан
[19:38:28] <bobry> убунта это debian testing :)
[19:38:44] <Typhon> не, переехали в тестинг
[19:38:50] <Typhon> в ирц вчера или позавчера была новость
[19:39:32] <bobry> хммм, что то я не видел
[19:40:09] <Typhon> хотя может я путаю, и это про окамл312 было
[19:54:37] iNode вышел(а) из комнаты
[20:58:23] <gds> во блин, жопа, на камлофоржике даже при желании (которое я применил) сложно найти, откуда оверблд брать.  Кого бы покарать?...
[20:59:04] <bobry> оверблд? wtf?
[20:59:19] <gds> the 'what fk'!111
[20:59:41] <gds> ща.
[21:01:13] <Kakadu> если честно, то я тоже не знаю где overbld брать
[21:01:25] <Kakadu> svn вроде пустой
[21:02:25] <gds> bobry:  http://sourceforge.net/projects/overbld/ -- "Distribution containing OCaml and some OCaml libraries, with patches and build scripts for MinGW / Win32"
список пакетов тут: http://overbld.hg.sourceforge.net/hgweb/overbld/overbld/file/tip/src
[21:02:43] <gds> так в том-то и проблема, что нет ссылки на репку.
[21:04:27] <gds> ну понятно, не ле галл пиарит другой подход, и даже если заметил бы багу, не обратил бы внимания.
[21:05:02] <gds> но фишка в том, что оверблд работает уже и сейчас.  Ну, под линупсами некоторыми нашлись баги, однако тупые-простые.
[21:05:50] <Kakadu> я кстати до сих пор не знаю что такое оверблд
[21:05:59] <Kakadu> надо найти пост в ЖЖ
[21:06:09] <bobry> *и скинуть ссылочку сюда :)
[21:06:18] <gds> какой-то ms-style -- предлагать нерабочее, но своё решение, вместо рабочего, но чужого.
[21:06:21] bobry согласен на любой подход который работает
[21:06:22] <gds> да сейчас найду, чо.
[21:06:32] <bobry> gds, а че -- oasis то тоже работает же
[21:07:07] <gds> bobry: сделай падвендой рабочую "среду" с extlib, батарейками и ещё примерно 20 библиотеками оазисом.
[21:07:49] <gds> причём с окамлом, пропатченным так, что всё остальное работает.  в том числе юникс-ориентированная срань типа omake / ocamlnet(?).
[21:08:03] <Kakadu> bobry: http://gds.livejournal.com/49560.html
[21:08:33] bobry не имеет виндовз под рукой
[21:09:44] <gds> bobry: тогда, может, и не стоит оверблд брать?  Вложи своё время в oasis-db -- это, вероятно, скоро станет кошерным способом ставить окамловские библиотеки.
[21:11:32] <Typhon> вообще, круто бы передедать оверблд из "окамл преимещуственно для венды с патчами" в "окамл платформ" -- как окамл с либками нужными (причём можно и на основе оазиса, почему нет).
[21:12:33] <gds> кстати, те же каменты в жыжыцэ почитал -- так все хотят собрать сами.  Ну молодцы, х-ли тут сказать!  Я только за.  Только почему говорят, что "камло под виндой кривое"?
[21:14:19] <gds> Typhon: а чо, идея.  Только вот затык был какой-то, неделю назад под гентой пробовал, что-то было не ок.  Как мне кажется, надо в такой последовательности: 1. пофиксить падлинупсом, 2. перейти на 3.12 падвендой (потому что под остальными ОС всё будет замечательно и так), 3. перейти на оазис, с готовыми патчами.
[21:16:12] <gds> у меня самого к оверблд появились претензии, если чо.  Сложновато пересобрать один конкретный "пакет", так как раньше хотел гарантировать корректность, которая, как известно, имеет чёткую границу с удобством.
[21:17:03] <gds> а будь в оверблд оазис или хрен собачий -- это уже второй вопрос.  Согласен на оба варианта, если всё будет работать :)
[21:19:15] <gds> но проблема в том, что чтобы всё работало, нужно патчить, а не "слать в апстрим, молиться, поститься и слушать радио радонеж".  Потому что последнее не работает, я проверял.  Все гнуторасты пусть нагнутся и пососут у себя, если чо.  "Чтобы работало" -- нужно самому разбираться с конкретным своим окружением, а потом, может быть, отправлять в апстрим.
[21:20:06] <gds> чото меня расписало.
[21:22:40] <gds> и да, надо было в камлолисте жестоко пиариться.  В том числе, на любой вопрос типа "чо это у меня не компилируется это и это?" надо было давать ссылоту на оверблд.  Возможно, стоило для этого завести виртуала.  Но эти сопли, намотанные на локоть, меня не радуют.  Причём, как я понял по минимум двум находящимся тут людям, про окамл и про винду они знают, а про оверблд -- нет.  Это печально.
[21:24:10] <gds> обля, ща отпишу в рассылку.  солнце зашло, шаббат закончился, можно и поработать :)
[21:28:36] <Typhon> я думал, молдавия западнее, и там часа на два раньше время :-)
[21:29:01] <Typhon> кстати, судя по треду новому про венду, с вендой в основном, люди из околоснг сношаются :-)
[21:34:31] <gds> у нас UTC+0200, если чо.
[21:34:46] <gds> шаббат заканчивается после захода солнца в субботу :)
[21:35:06] <Kakadu> я вообще думал ты из Москвы
[21:35:16] <gds> Kakadu: мэй, щи гонеште!
[21:37:17] <gds> "
Hello.
>> Looks like you have installed the port based on the MinGW toolchain
>> (instead of MSVC one). Take the right one from
>> http://caml.inria.fr/download.en.html
> It's easier to explicitly specify a path to MinGW libraries by passing
> -cclib "-L c:/mingw/lib" to ocamlopt :-)
It's _really_ easier to use the overbld, which already adds this path
(and not only the MinGW path, but other patches and paths too, and
it already provides comfortable enough development environment,
and it WORKS now.).
And, sorry, but I have no one to tell this but you...
Микола, не майся дурнею, все вже вкрадено до нас.
"
[21:37:19] <Typhon> gds, у нас не так давно солнце дошло, у вас должно дольше держаться!
[21:37:36] <Typhon> (btw, на два раньше, имел ввиду utc + 2, типа на два меньше, чем у нас ща)
[21:37:57] <Typhon> ггг, ок :D
[21:38:11] <gds> Typhon: солнце было за горизонтом, когда я писал про шаббат.  Так что я галахичен!
[21:38:13] <Typhon> главное, чтобы не обиделися люди
[21:38:27] <gds> я обиделся на них, теперь их шаг.
[21:39:25] <gds> у меня недавно было психологическое прозрение -- я понял, что могу обижаться на людей.  Раньше не умел.  Реально, расту над собой.
[21:39:36] <gds> (ну, дал себе право.)
[21:40:13] <zert> ты хасид штоле?
[21:40:16] <zert> с пейсами?
[21:40:41] <gds> zert: да, а ещё у меня прямоугольные усики под носом.
[21:42:29] <zert> реквестирую фотку!
[21:42:29] <Typhon> btw, я оверблд раздаю, хз, почему торрент не доступен, может не тот у меня, если что, дайте новый, я скачаю
[21:44:34] <gds> дык в прошлом апреле был торрент, это он и есть.  не мартовский, а именно апрельский, 2010-04 и всё такое.
понятно, что год -- это серьёзная задержка, но, смотря на дебиан-убунту, мне нихрена не стыдно с точки зрения моральки.  С объективной точки зрения -- чатлоги есть, проблемы были, я их оглашал.
[21:45:46] <gds> zert: фотки есть, только я на них всех загимпил пейсы и усы, заменил кипу на волосы и убрал тфилин.  сорри :[
[21:46:19] <Typhon> magnet:?xt=urn:btih:DC4538F905321FC36FCD79347DB9B374D33069C9  magnet:?xt=urn:btih:A4C76D899C65F275ACC5E8CA32C573992AE356CC  -- магнет урлы тех торрентов, что у меня
[21:46:44] <gds> Typhon: там *2010*04* ?  Если да, то это весьма годно.
[21:46:56] <Typhon> 20100426
[21:48:04] <gds> оно.  годно.
[21:50:20] <gds> ну что ж тут сказать.  Как во всех случаях, когда в целом рабочая идея загибается из-за хренового пеара, налажали те, кто Всё Знал, но не пеарил.  Я, то есть.  Ничего, как-нибудь проживу с этим.
Тем более, у меня добавилось игрушек, в том числе 1. тех, за которые платят, 2. тех, которые интересны; и пересечение этих множеств совершенно не пустое.
[21:56:14] <Kakadu> > Тем более, у меня добавилось игрушек, в том числе 1. тех, за которые платят, 2. тех, которые интересны
[21:56:20] <Kakadu> счастливец
[21:57:00] <gds> я работал над этим.  В том числе сознательно.  Повезло только в том, что всё в целом получилось.
[22:06:25] <gds> Typhon: на оазис не забил, смотрю, но у меня внезапно реаллайф накатывает.  Патч применил прилично, с ним проблем не было, и твою статью про оазис открыл и даже начал читать.
[22:06:43] <gds> мне, видимо, реально нужен оазис.
[22:06:57] <Typhon> удобно, как моне
[22:07:04] <Typhon> причём не только для либ, но и для аппликух
[22:07:15] <Typhon> просто install команду заменить на свою какую-то
[22:14:20] <gds> Typhon:
> Здесь мы включаем все предупреждения как ошибки
был как-то срачик о том, что это делать не стоит.  С другой стороны, видя "-w @a", я не понимаю, как это пофиксить -- точнее, как сделать так, чтобы в версии для разработчиков предупреждения были как ошибки, а в релизе были как предупреждения.
Сам-то я уважаю режим "предупреждение = ошибка", если чо.
[22:15:36] <Typhon> а почему не стоит? тут был срачик? это флагами рулится
[22:15:40] <Typhon> надо дописать про флаги
[22:16:09] <Typhon> а флаги ручками придётся включать/выключать
[22:16:29] <Typhon> то есть по дефолту будет предупреджения просто, а разрабочик пусть флаг включает тогда
[22:19:31] <gds> у меня претензий никаких, мне просто непонятен синтаксис "@a".
[22:21:34] <Typhon> так это прямо в ocamlc/ocamlopt суётся
[22:21:35] <Typhon> @num
Enable and mark warning number num.
[22:21:46] <Typhon> и
@letter
Enable and mark the set of warnings corresponding to letter. The letter may be uppercase or lowercase.
[22:22:21] <gds> в рот мне ноги.  Понял.
[22:22:59] <gds> но это, видимо, фишка нового окамла.
[22:23:18] <gds> 3.11.2 убунтовский не може.
[22:23:28] <gds> судя по -help
[22:24:49] <Typhon> хм, а как там врубить все ворнинги? поправишь в вики на совместимое?
[22:24:57] <Typhon> чтобы не вводить никого в это самое
[22:25:50] <gds> "-w A" для "все предупреждения", и "-warn-error A" для "все предупреждения = ошибки".  Поправлю.  Давай наверное в первый вариант?
[22:26:30] <Typhon> ага
[22:26:50] <Typhon> про флажки и прочее это куда-нибудь в адвансд надо задвинуть будет
[22:28:03] <gds> кстати вот, _tags ты патчем стёр, однако у меня там revised syntax, и оно ругается, видимо, как раз из-за этого (ибо раньше тот же исходник собирался).  Как в оазисе это культурно делается?  В _tags я уже научился, если что.
[22:29:21] <Typhon> хм, а я не занёс обратно? вот а оазиса тут трабла -- он не умеет синтаксис ставить
[22:29:25] <gds> про срачик уточню.  добавили кучу новых предупреждений в 3.12, и всякое типа omake не собирается, ибо там -warn-error A.
[22:29:27] <Typhon> нужно ручками в _tags
[22:29:39] <Typhon> после оазисовских подписей
[22:29:44] <gds> ручками -- очень ок, но оно скушается нормально?
[22:29:46] <Typhon> я ведь зарубочку себе сделал, поставить обратно
[22:30:06] <Typhon> gds, после подписей (хэшей) можно писать всё что угодно в любых файлах оазисовских
[22:31:41] <gds> сбилдилось :)
[22:31:53] <Typhon> кстати, у меня _tags подправлены, не забыл
[22:32:04] <Typhon> то ли не отправилось в патч, то ли не применилось, не зна :-(
[22:32:24] <Typhon> (и собирать я соот-но попробовал -- у меня билдилось).
[22:32:45] <Typhon> а "после подписей" -- в смысле после OASIS_STOP
[22:33:29] <gds> видимо, с опциями диффа было что-то не ок.  Ну да фигня вопрос, главное что билдится.  Однако не инсталлится:
$ ocaml setup.ml -install
E: Cannot find file './META' for findlib library substrings
сейчас посмотрю, что с META.
[22:36:06] <Typhon> хм, надо было пулреквестом -- у меня работало до module S = Substring ;;
[22:36:33] <Typhon> oasis setup можно поробовать (если стоит оазис) чтобы оно перегенирло
[22:36:34] <gds> ага, ревертнул META, и имею, что "ocaml setup.ml -uninstall" видимо не работает, ибо при "... -install" говорит, что уже установлено.
[22:46:09] <Typhon> reinstall
[22:46:13] <Typhon> есть у них
[22:49:35] <gds> Typhon: примерно тот же расклад, http://paste.in.ua/2261/
[22:50:53] <Typhon> а с правами там всё хорошо? появилось предположение, что легалл пытается удалить, если не выходит, он считает, что файлика нету и успокаивается (а там может быть пермиссии).
[22:52:07] <gds> ocamlfind remove + install прокатывал, точно, ибо парвел компилировал с зависимостью от подстрок, и sudo не давил сегодня.
[22:52:31] <gds> легалл должен запускать ocamlfind remove+install, есть подозрение.
[22:53:27] <Typhon> прямо даже и не знаю, что такое :-( а если -uninstall запускать, то оно молчит?
[22:54:10] <gds> $ ocaml setup.ml -uninstall ; echo $?
0
[22:54:43] <gds> во, ща я пушну на битбакет
[22:57:40] <Typhon> сообщи, как зальётся, я прогоню у себя
[23:04:17] <gds> Typhon: залил ssh://hg@bitbucket.org/gds/ocaml-substrings , или, если удобнее, https://gds@bitbucket.org/gds/ocaml-substrings
[23:04:36] <gds> билдится, но не удоляется.
[23:05:41] <Typhon> мне без оазиса пришло :-(
[23:06:08] <gds> факт, что-то прощёлкал.
[23:06:22] <Typhon> последняя ревизия: 5:eef2141c549e
[23:07:41] <gds> запутался в трёх соснах.  сейчас разберусь.
[23:11:04] <gds> Typhon: асилил, bc6267762513
[23:11:52] <Typhon> а лицензию сам поправил?
[23:12:21] <Typhon> там у них в quickstart есть список поддерживаемых, теперь oasis setup ругается на lgpl with ocaml linking exception
[23:12:23] <gds> да, про CC0 почитал, но пока не решился.
[23:12:38] <Typhon> (ну я не знал какую, поэтому копилефт вкрячил :-) )
[23:12:39] <gds> ох ты ж.
[23:12:56] <gds> может так и оставим копилефт?  Мне-то чо :)
[23:13:17] <Typhon> LGPL-2.0 with OCaml linking exception
[23:13:25] <Typhon> надо с большой буквы
[23:13:32] <Typhon> (и 3.0, соот-но )
[23:13:35] <gds> мне не жалко, если эту супер-мега-библиотеку используют в коммерческих целях.  Более того, даже интересно, кому это удастся :]
[23:13:42] <Typhon> мит ещё можно
[23:13:45] <Typhon> или бсд4
[23:13:50] <Typhon> (или бсд3)
[23:14:10] <Typhon> их хотя бы прочитать можно
[23:14:13] <gds> а давай какую-нибудь из LGPL + exception, 2.0 мне кажется ок (потому что читал её), вроде 3.0 тоже нормальная.
[23:15:48] <Typhon> *.mllib у тебя после патча не обновилась -- секции оазисовской не было там
[23:16:25] <Typhon> но вот uninstall у меня тоже не работает теперь
[23:16:43] <gds> может пушнешь прямо в репку, если всё получится?  права намутил.
[23:16:57] <gds> про mllib -- что куда?
[23:19:01] <gds> Typhon: если окажется, что проблема нетривиальна, то забивай, понятное дело.
[23:19:05] <Typhon> ага, пушну. substrings.mllib я тогда удалил, чтобы оазис сгенерил его сам, у тебя он был чисте, свеже. но это пофиг ему, как я понял, просто ворнинг кидал, что не может секцию для замены найти. вот почему удаляться перестало -- интересно
[23:28:28] <Typhon> ну вот, у меня ща инсталлится/удаляется ок, запушил
[23:33:52] <Typhon> (если удаляться не будет, стоит попробовать чисто окамлофиндом удалить и потом пробовать инсталл / анинсталл. если так будет, напишем багу легаллу, что он не своё не удаляет).
[23:35:50] <gds> Typhon: а у меня не ок..
$ ls
_build     Makefile         _oasis      setup.log  substring.ml
configure  myocamlbuild.ml  setup.data  setup.ml
$ ocaml setup.ml -install
E: Cannot find file './META' for findlib library substrings
META, что ли, должна генериться?
[23:36:31] <Typhon> ну да oasis setup -- сгенерит мету
[23:36:36] <Typhon> по идее, я ж её запушил
[23:36:41] <Typhon> и она у тебя должна быть
[23:38:07] komar вышел(а) из комнаты: Replaced by new connection
[23:38:07] komar вошёл(а) в комнату
[23:38:56] <gds> в последней ревизии отсутствует.  Более того, apt-cache search oasis не выдаёт нужного оазиса.  Нужно ставить из исходников?
[23:39:16] <Typhon> а, я обманулся
[23:39:32] <Typhon> после гита, видимо
[23:39:46] <gds> была такая идея :)
[23:39:55] <Typhon> сейчас запушил
[23:40:07] <gds> с другой стороны, в гите наоборот легче забыть запушить.
[23:40:41] <Typhon> в гите если git rm file; touch file -- он его подцепит, а в хг вот нет
[23:43:39] <Typhon> (возможно я и патч кривой тогда отправил :-[ shame on me!)
[23:45:14] <gds> там смешивают уровни -- если hg rm, то hg add надо, а если просто rm и затем touch, то меркуриал подцепит.
http://paste.in.ua/2262/ -- видимо, какой-то серьёзный косяк с моей системой.  обновился на то, что ты пушнул, это точно.  может стоит забить на это мероприятие?  или легаллу моск поиметь?
[23:51:01] <Typhon> ох, попробовать ocaml setup.ml dist-clean ; ocaml setip.ml -build ; ocaml setup.ml install  и если не ок -- отправить багу!
[23:55:08] <gds> сделал, http://paste.in.ua/2263/ , не ок.  В общем, надо подробно разбираться с оазисом, как я понял.
И, на вид, такая же "специфическая" технология, какой был ocamlbuild при своём появлении.
[23:55:39] <gds> однако, несмотря на специфичность, видимо, придётся использовать.