Objective Caml - Пятница, 11 сентября 2009

Objective Caml

ocaml@conference.jabber.ru

Пятница, 11 сентября 2009< ^ >

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

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

GMT+4
[00:05:57] abiogenesis вышел(а) из комнаты
[00:42:54] <sevenov> бедный. Ответа не дождался.
[00:42:56] <sevenov> Эх.
[00:48:34] gds вошёл(а) в комнату
[00:55:45] <gds> sevenov: жизнь вообще сложная штука.
А ответ бы особо не помог, я бы позаботился.
[00:56:21] <sevenov> :)
[00:56:38] <sevenov> Вот удивляют такие вопросы.
[00:56:52] <sevenov> По моему, это пиздец. Нет что бы сразу задать четкий вопрос.
[00:58:49] <gds> иногда лень формулировать чёткий вопрос, если ясно, что ответа не будет, или если ответ будет в стиле "не используй эту гадость".
[00:59:54] <sevenov> когда хочешь получить хороший ответ и если это действительно нужно, лучше постараться и посидеть немного, подумать, сформулировать четкий, ясный вопрос.
[01:00:00] <sevenov> А не говно типа "Есть чо?".
[01:04:56] <gds> иногда на размышления и на формулирование тратится больше времени и мозговых ресурсов, чем на вопрос. Ответили бы "никто не занимался" или "не пользуй это" -- вот пример оптимизации (для обоих сторон в целом), нежели разгребать это make-говно. И ещё есть вероятность того, что человек решает не ту проблему (например, использует OCamlMakefile вместо ocamlbuild).
[01:05:38] <gds> конечно, можно было бы конкретнее в случае, если путь не определён -- типа "стоит ли вообще использовать OCamlMakefile?".
[01:06:15] <sevenov> Ммм. По себе знаю, при формулировании и обдумывании вопроса, чаще всего решение приходит до того, как нажать Ctrl+Enter.
[01:06:27] <sevenov> Именно поэтому, я почти никогда не задаю вопросов.
[01:06:41] <sevenov> Ну и не отвечаю на глупости, соответственно.
[01:13:16] <gds> плюс тебе в карму, что ж тут скажешь.
Однако если есть какой-либо вопрос, самообразование в котором не является целью, и если есть выбор между "гуглить 2 часа" и "спросить с ответом в течение 15 минут", то есть смысл подумать.
Да и мне, например, не влом помочь по интересному мне вопросу. С подобными же "социальными гарантиями" (образно) -- если вдруг мне понадобится ответ на вопрос, в который вникать влом, то мне помогут.
[01:32:42] <sevenov> помогут, ну ты задашь нормальный вопрос)
[01:39:42] <gds> да не факт. В последнее время чаще стал интересоваться у собеседников, занимались ли они подобными проблемами, прежде чем испражняться в них весомым монолитом своего вопроса.
Впрочем, я также прекрасно понимаю причинно-следственную связь "задал кривой вопрос => не получил полезного ответа".
И если бы не ставил brand new kvm switch для домашних машинок, ответил бы бесполезно, но просветляюще. Мне чо, сложно, что ли.
[01:42:59] <sevenov> gds, ох. Если честно, не осилил реплику. Я пьян, у меня др ^^
[01:47:31] <gds> ух ты-ж ка. хэппи всётакое тебе.
[01:53:20] <sevenov> ну да ) Спасиб.
[01:53:24] sevenov таки напросился :D
[01:54:42] <inky-kinky> Присоединяюсь к поздравлениям. Меньше багов.)
[02:01:32] <sevenov> inky-kinky, особенно в сульце %) Кстати, надо будет ermine патчей что ль выслать.
[02:01:41] <sevenov> хотя, может быть жто не актуально.
[02:06:40] <gds> она сейчас лепит нового горбатого, вот к нему было бы актуально.
плохо, видите, иметь большой разрыв и кучу фундаментальных изменений между релизами.
[02:52:43] inky-kinky вышел(а) из комнаты
[03:45:43] sevenov вышел(а) из комнаты
[06:14:43] sevenov вошёл(а) в комнату
[06:36:37] sevenov вышел(а) из комнаты
[09:39:46] ygrek вошёл(а) в комнату
[10:55:23] f[x] вошёл(а) в комнату
[11:10:48] <f[x]> sevenov: вопрос как вопрос, а за маты я буду банить
[11:42:35] sevenov вошёл(а) в комнату
[12:03:41] <gds> если всё, что я делаю с ocamllex-лексером, это добавляю расчёт позиции в символах для utf8, то как бы "проект" назвать? чисто для идентификации, без претензий на фееричность/креативность. ocamllex_utf8? ocamllex_utf8_hack? ocamllex_utf8_pos? первое -- слишком многообещающе. второе отражает сущность, но не отражает предназначение. третье -- какое-то непонятное, но может и нормальное.
[12:11:22] <f[x]> последнее оптимальней имхо
[12:11:29] Typhon вошёл(а) в комнату
[12:26:40] <gds> ага, так и сделаю.
ещё думаю про lexbuf -- структура, которую нереально хешировать (чтобы рядом с ней положить нужные мне данные). Всё, что там есть, меняется либо в процессе работы, либо в процессе сборки мусора. И менять структуру не могу.
В Map её тоже не положишь -- сборка мусора может нарушить инварианты Map'а. Остаются адские assoc lists с проверкой на физическое равенство?
[12:29:46] ygrek вышел(а) из комнаты
[12:43:39] <f[x]> тупл и в Set -- сравнивать либо физически либо по уникальному иду в тупле, не?
[12:44:25] ipse_ вошёл(а) в комнату
[12:48:24] ipse_ вышел(а) из комнаты
[12:50:56] <gds> f[x]: мне на вход поступает lexbuf. Надо определить, имели ли мы с ним дело уже, или нет, а если имели, то вытащить ассоциированную с ним информацию. Если бы была функция, позволяющая из lexbuf получить какое-нибудь уникальное значение, было бы круто. А там из immutable-полей только refill_buf : lexbuf -> unit, что трогается сборщиком мусора.
Про "сравнивать физически" не догнал. Но, вроде, тут тоже с этим плохо дело будет?
[12:52:50] <f[x]> а, тогда всё плохо..
[12:53:05] <f[x]> а на пользователя переложить этот контроль не получится?
[12:53:41] <f[x]> или сделать обёртки для всех функций Lexing
[12:58:47] <gds> проще понадеяться, что пользователю не придётся работать одновременно с >50 lexbuf'ами одновременно. Ведь реально, не часто такое бывает.
[12:59:58] <gds> а для <50 и список покатит. Просто думал, что можно выкрутиться без оборачивания Lexing-функций, ан нет.
[13:00:35] <f[x]> так а что ты будешь физически сравнивать в этом списке?
[13:02:18] <gds> list (lexbuf * my_data), буду по физическому адресу lexbuf вынимать my_data.
[13:08:29] <f[x]> понял
[13:12:47] sevenov вышел(а) из комнаты: Replaced by new connection
[13:12:51] sevenov вошёл(а) в комнату
[14:10:43] sevenov вышел(а) из комнаты: Replaced by new connection
[14:10:48] sevenov вошёл(а) в комнату
[14:32:42] <gds> учитывая глюк deriving'а на тему "if a < b", понял, что не обязательно переписывать это в виде "if b > a" -- можно сделать "if ( < ) a b".
[14:47:13] <ermine> хохмачи
[14:51:37] <gds> ну а чего -- немного здорового лиспа не помешает.
if ( < ) ( ( + ) a b ) ( ( - ) c d) then ..
[14:51:38] <sceptic> лиспец почти
[14:52:17] <gds> double hit!
[14:53:34] <ermine> ставь сразу по три пробела между одного
[14:54:39] <ermine> лишние пробелы котируются так же как лишние скобки
[14:56:22] <gds> зато в (*) не упрёшься, если ставить пробелы вокруг инфиксного оператора.
[14:56:26] <ermine> хотя, в гуевых редакторах, где шрифт не моноширен, это не так критично
[14:57:09] <ermine> но вот ( < ) явно неприличен!
[14:58:53] <gds> ( * ) тоже. Умножение, но каким-то задним числом, что ли.
[15:07:43] sevenov вышел(а) из комнаты: Replaced by new connection
[15:07:46] sevenov вошёл(а) в комнату
[15:55:17] sceptic вышел(а) из комнаты
[15:57:58] sceptic вошёл(а) в комнату
[16:27:56] Typhon вышел(а) из комнаты
[16:30:01] Typhon вошёл(а) в комнату
[16:39:03] inky-kinky вошёл(а) в комнату
[16:55:36] sevenov вышел(а) из комнаты: Replaced by new connection
[16:57:22] sevenov вошёл(а) в комнату
[17:02:53] ygrek вошёл(а) в комнату
[17:22:30] f[x] пристально смотрит на http://forge.ocamlcore.org/projects/libaio-ocaml/
[17:25:33] <gds> ничего не видно.
[17:26:44] inky-kinky вышел(а) из комнаты
[17:29:26] inky-kinky вошёл(а) в комнату
[17:29:46] inky-kinky вышел(а) из комнаты
[17:31:38] <f[x]> с отладочной печатью, и блокируется для выполнения всех _aio
[17:36:42] inky-kinky вошёл(а) в комнату
[17:36:48] <gds> откуда ты это читаешь?
[17:37:10] inky-kinky вышел(а) из комнаты
[17:38:40] <f[x]> из libaio_stubs.c :)
[17:39:21] <gds> > This Project Has Not Released Any Files
> SCM репозиторий (SVN: 0 updates, 0 adds)
[17:40:53] <gds> интересно, они отключают heap compaction или делают лишнее копирование?
[17:41:06] <gds> или в bigarray из символов пишут?
[17:43:44] <f[x]> код в svn
[17:46:49] gds вышел(а) из комнаты
[17:48:01] <f[x]> по-моему копирует
[17:48:50] <f[x]> имхо это не большая проблема - диск медленней памяти
[17:50:10] inky-kinky вошёл(а) в комнату
[17:59:19] yahoho вошёл(а) в комнату
[17:59:34] <yahoho> Добрый день, уёбища!
[17:59:40] <yahoho> Хуле вы тут дрочитесь?!
[17:59:52] <yahoho> Я вас всех на хую вертел!
[17:59:54] yahoho вышел(а) из комнаты
[18:01:11] kavs вошёл(а) в комнату
[18:02:12] <kavs> f[x]: ты пидарас? хуй сосёшь?
[18:02:37] gds вошёл(а) в комнату
[18:03:03] <kavs> Чо пидарки, наверняка в очко долбитесь, OCamlMakefile используете?
[18:03:22] kavs вышел(а) из комнаты
[18:06:13] gds вышел(а) из комнаты
[18:06:29] gds вошёл(а) в комнату
[18:14:47] inky-kinky вышел(а) из комнаты
[18:20:09] inky-kinky вошёл(а) в комнату
[18:31:31] <sceptic> :)
[18:31:37] sceptic вышел(а) из комнаты
[18:36:55] sceptic вошёл(а) в комнату
[18:37:03] <sevenov> о_О
[18:59:12] <f[x]> хм
[19:02:35] <sevenov> Это они так обиделись, что вчера не ответили?
[19:18:09] john вышел(а) из комнаты: Replaced by new connection
[19:18:10] john вошёл(а) в комнату
[19:37:12] inky-kinky вышел(а) из комнаты
[19:37:57] inky-kinky вошёл(а) в комнату
[20:21:09] f[x] вышел(а) из комнаты
[21:01:11] Рейко вошёл(а) в комнату
[21:13:31] inky-kinky вышел(а) из комнаты
[21:52:21] Typhon вышел(а) из комнаты
[21:52:40] sevenov вышел(а) из комнаты
[21:53:18] Typhon вошёл(а) в комнату
[22:44:04] sceptic вышел(а) из комнаты
[23:32:23] <ygrek> ха, а в camlp5 есть парсер с бэктрекингом
[23:32:27] <ygrek> http://pauillac.inria.fr/~ddr/camlp5/doc/htmlc/bparsers.html
[23:45:02] inky-kinky вошёл(а) в комнату