Objective Caml - Суббота, 4 декабря 2010

Objective Caml

ocaml@conference.jabber.ru

Суббота, 4 декабря 2010< ^ >

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

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

GMT+3
[00:02:35] <ermine> а вот еще одна задница для тех, кто выкинул autoconf: непонятно как линковать к gif - надо проверять на наличие -lungif или -lgif
[00:03:07] <ermine> в макоси не нашлось -lungif
[00:04:04] <ygrek> так pkg-config же, не?
[00:04:26] <ermine> надо будет сказать лентяю Галлю, что недостаточно найти просто .h файл
[00:04:39] <ermine> ygrek: запусти :)
[00:04:43] <ermine> у себя
[00:05:00] <ermine> ygrek: pkg-config --list-all | grep gif
[00:06:21] <ygrek> пусто
[00:06:22] <ygrek> ясно
[00:06:36] <ermine> и так же с jpeg
[00:06:59] <ygrek> ну так я говорю - oasis не может и не должен решать сишные проблемы
[00:07:15] <ygrek> ничего не выйдет - иначе чтобы всё предусмотреть получится тот же autoconf
[00:07:51] <ermine> gds: через лет n может и получится
[00:08:03] <ermine> ой
[00:08:06] <ermine> ygrek:
[00:08:30] SerP вошёл(а) в комнату
[00:08:49] <ermine> надо попробовать extunix, может та же песня?
[00:11:11] <ermine> ptrace тоже не нашло там
[00:11:39] <ygrek> ну дык конечно не нашло, ибо они разные в bsd и linux
[00:13:32] <ermine> собралось с жалобами от ранлиба
[00:18:15] zert вышел(а) из комнаты
[00:23:57] <gds> а почему это -- http://eigenclass.org/R2/writings/optimizing-caml_modify -- ещё не применили к окамлу?
[00:25:15] ermine собрала камлимадж на макбуке, куда они денутся-то
[00:25:48] ygrek недавно пинал mfp на эту тему
[00:26:21] <ygrek> надо в рассылке спросить, там как раз DD отвечает на вопросы по gc
[00:29:35] <gds> ygrek: у тебя язык более качественный -- если не влом, поинтересуйся.  обещаю следить и травить по необходимости.
[00:35:21] <ermine> а что это за шняга caml_modify?
[00:38:44] <ygrek> ermine: caml_modify это считай <-
[00:39:23] <ermine> ygrek: а, функция из кода камла
[00:42:49] <ygrek> gds: done!
[00:53:09] <gds> ygrek: чотко написал!  Вот потому и попросил, что я бы так не смог.
[00:53:32] <ygrek> lexifi блог радует
[00:54:53] ygrek секретарь и официальный представитель местного camlunity в рассылке?
[00:55:28] <ygrek> репортьте баги только официальным дилерам!
[00:56:02] <gds> жжош!
[01:00:26] <gds> ygrek: в плане инглиша (как формального, так и остального) ты таки рулишь, это факт.  (кстати, думал подсунуть тебе readme из будущего ocaml-lazy-labelled на предмет явных ошибок, но постеснялся пока что, так как надо потестить нормально сначала.)
Однако, если будет какая-то фигня, где меня эти ребята явно оскорбят -- я.. их..!  изо всех сил!  Несмотря на май факин инглиш!
[01:04:09] <ygrek> gds: на вычитку давай когда понадобится, ок
[01:04:35] <ermine> gds: если на английском писать фразы из трех слов, то в грамматике скорее всего не наделаешь ляпов
[01:05:40] <ermine> My name is ... This is a cat. It is very dark. It likes mouses. Where is a mice?
[01:06:02] <ygrek> It likes mice :)
[01:06:39] <gds> ygrek: понял.  Хочу потестить, потом на forge присунуть.  Ибо эти сраные камлисты зассали вообще -- ну что это за бардак, если я искал решение по ленивым значениям и не нашёл?  Их сотни должно быть.  Но ничего, надо присовывать.  Если я не присуну говнокод, то остальные застесняются.
[01:06:40] <ygrek> но вообще да, годное начало для следующего анонса :)
[01:07:26] ygrek кажется область слишком специфичная, и потом тру программеры не используют дебаггеры или средства для диагностики ошибок - они пишут идеальный код сразу
[01:07:47] <gds> ermine: эх, главное -- тарбол.  А анонс я уже почти запостил.
[01:09:20] ygrek установил(а) тему: Камль -- http://caml.inria.fr | Логи -- http://chatlogs.jabber.ru/ocaml@conference.jabber.ru/ | Верблюды грязи не боятся! | release crap | репортьте баги официальным дилерам | ocaml мёртв, move on
[01:09:35] <komar> Петросянота.
[01:09:50] ermine проверила мейллист оазиса и с негодованием отметила, что галл там ничего не написал
[01:14:15] <gds> ygrek: да, труЪ -- они такие.  Проблема такая: или заранее проверять на циклы (путём доведения до значения из приличного типа данных, где циклов быть не может), или разруливать циклы самому и мемоизировать разруленное (мутабельность не ок, с другой стороны, можно оформить с рантайм-проверками), или вычислять через стандартный Lazy.force с непонятными глюками, или доверить себя официальной замене Lazy.force (с лейблами от официальных функторов!1111).  Вот так-то!
[01:23:03] gds вышел(а) из комнаты
[01:24:19] arhibot вышел(а) из комнаты
[01:25:17] SerP вышел(а) из комнаты
[01:26:40] <ygrek> про gadt'ы человеческим языком - рекомендую - http://www.lexifi.com/blog/dynamic-types
[01:30:39] arhibot вошёл(а) в комнату
[01:35:47] arhibot вышел(а) из комнаты
[01:37:27] <komar> О, отлично.
[01:41:55] ygrek вышел(а) из комнаты
[01:43:14] ermine закопала ссылку в букмарку
[01:43:50] ermine вышел(а) из комнаты
[01:43:57] <komar> Глагол подобран удачно.
[02:40:50] komar вышел(а) из комнаты
[03:41:16] ftrvxmtrx вошёл(а) в комнату
[07:21:45] Typhon вышел(а) из комнаты
[10:14:05] serp256 вошёл(а) в комнату
[10:22:59] gds вошёл(а) в комнату
[10:47:48] <gds> статья про гадты -- хорошая.
[10:55:33] Kakadu вошёл(а) в комнату
[10:56:41] serp256 вышел(а) из комнаты
[11:05:39] serp256 вошёл(а) в комнату
[11:10:35] serp256 вышел(а) из комнаты
[11:48:27] <gds> с другой стороны, вот не понимаю.  Если реально кому-нибудь были нужны gadt, взяли бы олеговский модуль.  Из оверхеда -- одно значение на каждое значение, имеющее непростой тип, что вполне терпимо.
[11:55:31] ygrek вошёл(а) в комнату
[12:00:12] ygrek вышел(а) из комнаты
[12:01:37] ygrek вошёл(а) в комнату
[12:33:49] komar вошёл(а) в комнату
[12:42:19] Typhon вошёл(а) в комнату
[12:44:57] iNode вошёл(а) в комнату
[12:46:55] ygrek вышел(а) из комнаты
[12:46:57] ygrek вошёл(а) в комнату
[13:00:32] ermine вошёл(а) в комнату
[13:11:21] Kakadu вышел(а) из комнаты
[13:24:57] Kakadu вошёл(а) в комнату
[13:29:00] ygrek вышел(а) из комнаты: Replaced by new connection
[13:29:01] ygrek вошёл(а) в комнату
[14:16:09] Kakadu вышел(а) из комнаты
[14:16:24] Kakadu вошёл(а) в комнату
[14:33:23] serp256 вошёл(а) в комнату
[14:38:54] serp256 вышел(а) из комнаты
[15:06:40] Kakadu вышел(а) из комнаты
[15:22:34] <ermine> ygrek: а можно ли иметь еще один ld.conf для окамля? а то он обычно доступен для записи лишь под рутом
[15:22:47] <ermine> поэтому грабли с ocamlfind_destdir все равно вылезают
[15:26:08] Kakadu вошёл(а) в комнату
[15:27:29] <ygrek> э, ну один раз под рутом укажи ему на stublibs доступные для записи обычным юзером
[15:28:30] <ygrek> либо если нужно одноразово при запуске - используй CAML_LD_LIBRARY_PATH либо OCAMLLIB
[15:29:50] <ermine> в ld.conf нельзя иметь пути туда где нет ничего
[15:30:16] <ermine> иначе все обломается на стадии ocamlfind ocamlc -where
[15:30:57] <ermine> кста, а ocaml setup.ml -uninstall чота не пашет тоже
[15:39:48] <ygrek> э, ну пустой каталог сделать
[16:35:34] gds вышел(а) из комнаты
[16:36:32] gds вошёл(а) в комнату
[16:46:02] Kakadu вышел(а) из комнаты
[17:18:01] ygrek вышел(а) из комнаты
[17:21:20] Typhon вышел(а) из комнаты
[18:20:16] arhibot вошёл(а) в комнату
[20:04:31] ygrek вошёл(а) в комнату
[20:49:15] arhibot вышел(а) из комнаты
[20:54:12] Kakadu вошёл(а) в комнату
[21:06:03] zert вошёл(а) в комнату
[21:26:10] Kakadu вышел(а) из комнаты
[21:27:41] ftrvxmtrx вышел(а) из комнаты
[21:27:53] ygrek вышел(а) из комнаты
[21:29:00] Kakadu вошёл(а) в комнату
[21:48:34] ftrvxmtrx вошёл(а) в комнату
[21:48:37] arhibot вошёл(а) в комнату
[21:48:58] <ermine> а у нас в камле есть StringIO?
[21:53:19] <gds> у нас в extlib, вроде бы, есть.
[22:11:42] ermine пока использовала Unix.pipe
[22:11:47] arhibot вышел(а) из комнаты
[22:15:21] arhibot вошёл(а) в комнату
[22:29:40] serp256 вошёл(а) в комнату
[22:30:25] serp256 вышел(а) из комнаты
[23:05:15] Typhon вошёл(а) в комнату
[23:07:26] arhibot вышел(а) из комнаты