Objective Caml - Пятница, 15 октября 2010

Objective Caml

ocaml@conference.jabber.ru

Пятница, 15 октября 2010< ^ >

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

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

GMT+4
[00:01:02] serp256 вышел(а) из комнаты
[00:01:26] <ygrek> под винду вроде есть драйвера для ext3 :)
[00:01:31] serp256 вошёл(а) в комнату
[00:02:00] <Kakadu> ну я понял что по-разному можно извратиться)
[00:10:25] serp256 вышел(а) из комнаты
[00:10:48] serp256 вошёл(а) в комнату
[00:25:16] serp256 вышел(а) из комнаты
[00:25:29] serp256 вошёл(а) в комнату
[00:38:05] Kakadu вышел(а) из комнаты
[00:38:18] serp256 вышел(а) из комнаты
[00:38:41] serp256 вошёл(а) в комнату
[00:44:09] serp256 вышел(а) из комнаты
[00:44:27] serp256 вошёл(а) в комнату
[00:48:19] ygrek вышел(а) из комнаты
[00:54:42] serp256 вышел(а) из комнаты
[00:55:08] serp256 вошёл(а) в комнату
[01:03:15] serp256 вышел(а) из комнаты
[01:03:48] serp256 вошёл(а) в комнату
[01:11:31] serp256 вышел(а) из комнаты
[01:17:29] gds вышел(а) из комнаты
[01:17:49] f[x] вышел(а) из комнаты
[01:23:28] gds вошёл(а) в комнату
[02:24:19] Typhon вышел(а) из комнаты
[02:51:39] gds вышел(а) из комнаты
[03:41:15] vshender вошёл(а) в комнату
[04:01:37] vshender вышел(а) из комнаты
[04:08:07] komar вышел(а) из комнаты
[04:23:22] zert вышел(а) из комнаты
[08:32:55] iNode вошёл(а) в комнату
[09:04:45] gds вошёл(а) в комнату
[09:37:57] f[x] вошёл(а) в комнату
[10:14:24] ygrek вошёл(а) в комнату
[10:15:39] Mon вышел(а) из комнаты
[10:16:19] Typhon вошёл(а) в комнату
[10:16:26] serp256 вошёл(а) в комнату
[10:17:17] Mon вошёл(а) в комнату
[10:26:07] komar вошёл(а) в комнату
[10:28:38] ygrek вышел(а) из комнаты
[10:39:54] arhibot вошёл(а) в комнату
[10:45:19] <gds> а напомните мне, имена всех конструкторов вариантных типов, модулей и исключений должны отличаться друг от друга, чтобы можно было использовать их в одном коде?  (про модули vs функторы не спрашиваю, там очевидно.)
[10:48:32] serp256 вышел(а) из комнаты
[10:48:43] serp256 вошёл(а) в комнату
[10:57:28] <f[x]> нет
[10:57:37] <f[x]> у них у всех разные namespace'ы
[11:01:10] <gds> type t = A
exception A
module A = struct end
(fun x -> x) A
понятно, что возьмётся не модуль.  Видимо, исключение, как последнее определённое, а не конструктор.
[11:01:59] <f[x]> а, таки да, exn это ж value
[11:02:05] <f[x]> т.е. пересекаются
[11:02:57] <gds> а с модулями?  А в 3.12? (там кажется синтаксис специальный, чтобы модуль как значение использовать?)
[11:04:59] <f[x]> ну в текущем 3.12 чтобы модуль превратить в значение над его "паковать"
[11:05:27] f[x] не пробовал ешё
[11:05:34] <f[x]> * ещё
[11:06:02] <f[x]> в 3.10.2 flexlink'а не было?
[11:09:41] gds вышел(а) из комнаты: Replaced by new connection
[11:09:42] gds вошёл(а) в комнату
[11:10:19] <gds> надо по changelog'у смотреть, сходу не помню.  В 3.08 точно не было :)
[11:11:03] <f[x]> :)
[11:17:06] komar вышел(а) из комнаты
[11:19:49] Mon вышел(а) из комнаты: offline
[11:20:55] <f[x]> мда, а Makefile flexlink'а рассчитан что его будут собирать с flexlink'ом
[11:20:56] <f[x]> lol
[11:21:42] Mon вошёл(а) в комнату
[11:22:03] <gds> не лол, а маразм.  но я это обходил так: захреначил бинарник flexlink'а в репку, и он берётся в дело.
С другой стороны, и окамл, и тот же гцц отличаются ровно такими же свойствами (требуют себя или почти себя для сборки).
[11:22:30] <f[x]> ну там просто поция flexlink-специфичная передаётся - обкостыляю
[11:22:51] <gds> поция -- это ты так эстетично ругаешься на flexlink?
[11:23:10] <f[x]> насчёт готового бинарника - таки да - я ведь и взял готовый с сайта - но он нифига не работал - так что теперь хождения по граблям :)
[11:23:21] <f[x]> :) подсознание работает
[11:29:10] komar вошёл(а) в комнату
[11:38:53] ermine вошёл(а) в комнату
[11:43:13] zert вошёл(а) в комнату
[11:51:40] <f[x]> ну да, а теперь мне таки мешает тот факт что gcc симлинком и Sys.command унутре ocamlopt 3.10.2 не может его выполнить
[11:52:04] <komar> Какой кошмар
[11:53:21] <f[x]> не то слово, какой-то феерический п-ц
[11:54:19] <f[x]> убрал симлинк - скомпилил наконец-то
[12:10:08] <gds> кстати да, как-то в рассылке жаловались, что если lib*.a это симлинк под цыгвыном, то не линкует.
вообще, расклад с виндовыми (не цыгвыновскими) симлинками под виндой -- это штука характерная для винды.  Это как бы характеристика целого по его части.  Фрактальные свойства, своего рода.
[12:13:13] <f[x]> с виндовыми симлинками-то как раз всё более менее нормально
[12:13:22] <f[x]> там где они есть :)
[12:13:38] <gds> я про бывшие .pif и нынешние .lnk.
[12:14:16] <f[x]> а, это
[12:41:59] Kakadu вошёл(а) в комнату
[12:51:48] gds вышел(а) из комнаты
[13:26:06] gds вошёл(а) в комнату
[13:34:31] Kakadu вышел(а) из комнаты
[13:40:02] Kakadu вошёл(а) в комнату
[14:16:52] <f[x]> какого??
> The NTVM CPU encountered an illegal instruction
[14:19:49] <f[x]> камло или cygwin gcc генерит код который qemu не переваривает?
[14:23:07] <f[x]> если вызывать руками gcc - не фейлит, из make'а - фейлит
[14:23:11] f[x] в ауте
[14:32:00] <gds> фейлится именно код, сгенерированный gcc?
[14:38:38] <gds> была подобная проблема с глючным, вроде, башем, потому и спрашиваю.
[15:17:20] <f[x]> если б я знал, похоже фейлится при вызове самого gcc, надо дебуггер поднимать
[15:18:33] <gds> пайпы и subshell'ы используются в скриптах?
[15:21:16] <gds> f[x]: посмотри пример в http://sourceforge.net/tracker/?func=detail&aid=2975742&group_id=2435&atid=102435 , если упадёт, значит скорее всего это оно.
[15:21:36] <f[x]> сминимизировал до вызова ocamlc
[15:21:58] <f[x]> а, нет
[15:24:03] <f[x]> не, kva отработал
[15:26:30] <f[x]> во, просто вызов gcc не фейлит, вызов через Sys.command - фейлит
[15:32:09] <f[x]> а, я знаю
[15:32:11] <f[x]> lol
[15:32:16] <gds> рассказывай!
[15:32:30] <f[x]> опять эти cygwin'овские symlink'и!
[15:35:24] <f[x]> http://paste.in.ua/1236/
[15:35:53] <f[x]> 16-битная виндовая эмуляция подхватывает этот файл и выполняет его
[15:37:29] <f[x]> из-за того что flexlink вызывает gcc без bash'а (я в двух местах поправил, но видно пропустил где-то ещё - там такая лапша в коде)
[15:38:33] <gds> ну да, .com-файл классический :)
[15:39:06] <gds> а может CC="bash gcc"?
[15:39:30] <f[x]> бугага, и кто в эту CC смотрит? ;)
[15:40:00] <f[x]> в flexlink'е захардкоден компилер под каждый из тулчейнов
[15:40:01] <gds> ./configure, который генерит config/Makefile, в котором прописано.
[15:40:21] <gds> а, ну flexlink, ага.  Надо заставить его уважать CC!
[15:41:02] <f[x]> его надо для начала причесать, там есть минимум три обёртки над sys.command и просто вызовы sys.command напрямую разбросанные где попало
[15:41:06] <gds> CC, MOTHERFUCKER!  DO-YOU-RESPECT-IT?
[15:41:25] <f[x]> так и напишу frisch'у ;)
[15:41:59] <gds> Анал Фрыщь будет рад.
[15:42:08] <f[x]> я тут дамплю мыслепоток в чат специально чтобы потом не забыть описать все перепитии процесса
[15:42:59] <gds> это полезно и мне тоже.  Узнал про цыгвыновские линки, которые .com-файлы.
[15:43:08] <f[x]> интересно, я один что-ли клоун который пытается камло под виндой юзать, ну раньше положим я нещадно правил makefile'ы и компилил без cygwin'а - тоже были грабли - но другие
[15:43:47] <f[x]> надо будет хоть скомпиленный ocamlfind куда-то выложить чтобы другие людишки меньше мучились
[15:45:04] <gds> кстати да, надо.
[15:45:32] <gds> а вообще удивительно -- по слухам, у людей всё работает.  Я удивлён, либо они что-то скрывают.
[15:52:50] <f[x]> может cygwin без симлинков - все проблемы от этого как оказалось
[15:53:17] <f[x]> ну и flexlink очень хрупкий в непредвиденных условиях
[16:32:16] Kakadu вышел(а) из комнаты: I'm happy Miranda IM user. Get it at http://miranda-im.org/.
[16:32:28] ʇsʎɯ вошёл(а) в комнату
[16:33:57] Kakadu вошёл(а) в комнату
[16:36:56] Kakadu вышел(а) из комнаты
[16:38:42] <gds> ВНЕЗАПНО http://pastebin.com/6pCzh1ct
[17:30:24] gds вышел(а) из комнаты
[17:33:19] arhibot вышел(а) из комнаты
[17:59:44] iNode вышел(а) из комнаты
[18:06:34] gds вошёл(а) в комнату
[18:20:28] <f[x]> thrift map это ocaml hashtbl и дубликатные ключи идут лесом, мило
[18:23:34] <f[x]> gds: там obj, это нечестно :)
[18:24:44] <f[x]> value test :)
[18:25:24] <f[x]> и это лишний call на доступ, не тру
[18:29:00] <gds> а это и не должно было быть честно!  впрочем, кое-что заоптимизировать-заинлайнить, а то и в сишечьку вытащить -- вполне реально, пока не нужно просто.  proof of concept.
[18:35:23] <f[x]> ок!
[19:02:16] Typhon вышел(а) из комнаты
[19:07:53] <gds> f[x]: ниасилил про thrift map, но в hashtbl дубликатные ключи лесом не идут (они скрываются, разве что).
[19:21:28] <f[x]> во во, а с thrift'овой стороны этот hashtbl является map'ом, а в map'е дубликатов быть не может
[19:24:41] f[x] таки собрал hudson'ом findlib на виндовой машине!
[19:28:39] <f[x]> пришлось плагин на жабе править (ужасть!)
[20:33:07] Kakadu вошёл(а) в комнату
[20:43:28] serp256 вышел(а) из комнаты
[21:16:39] Typhon вошёл(а) в комнату
[22:12:22] <Kakadu> сейчас в камле есть ленивые списки или надо руками реализовывать?
[22:12:59] Kakadu тут попрограммировал на х-е и ему поплохело
[22:17:09] <zert> мимо тёщиного дома
я без шуток не хожу:
то ей х-ь в окно суну,
то е-г ей покажу
[22:22:33] ʇsʎɯ вышел(а) из комнаты
[22:33:29] <Typhon> Kakadu, http://enfranchisedmind.com/blog/posts/ocaml-lazy-lists-an-introduction/
[22:33:51] <Typhon> also, Stream может быть тем, что тебе нужно
[22:34:05] <Typhon> http://www.ocaml-tutorial.org/streams http://caml.inria.fr/pub/docs/manual-ocaml/libref/Stream.html
[22:34:07] <Kakadu> это я видел
[22:34:23] <Kakadu> стримы не нужны, ибо делаю формальное задание  в универ
[22:36:07] <Kakadu> странно, что в janestreetовской библиотеке нет списков ленивых
[22:36:31] <Kakadu> видидмо эта ленивасть пиарящаяся х-ем никому нафиг не нужна
[22:39:39] <Kakadu> а, я понял почему нет списков ленивых. потому что есть стримы)
[22:52:02] <Typhon> никому не нужна тотальная ленивость, даже самим х-истам [Tibell2010]
[22:59:43] vshender вошёл(а) в комнату
[22:59:58] <Kakadu> # let foo () =
    let rec inner x = inner (x+1) in
    innnnnnnnnnnnnnnnnnnnnnnnnner 1;
Error: Parse error: "in" expected after [binding] (in [expr])
(* по-видимому ошибки в camlp4r стали менее осмысленными *)
[23:01:12] vshender вышел(а) из комнаты
[23:02:48] Kakadu извиняется перед camlp4r за невнимательность
[23:16:30] serp256 вошёл(а) в комнату
[23:25:56] serp256 вышел(а) из комнаты
[23:26:15] serp256 вошёл(а) в комнату
[23:42:27] serp256 вышел(а) из комнаты