Objective Caml - Пятница, 31 августа 2012

Objective Caml

ocaml@conference.jabber.ru

Пятница, 31 августа 2012< ^ >

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

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

GMT+4
[00:59:08] Kakadu вышел(а) из комнаты
[01:05:59] Typhon вошёл(а) в комнату
[01:12:45] UncleVasya вышел(а) из комнаты
[01:13:56] ermine вышел(а) из комнаты
[01:39:32] f[x] вышел(а) из комнаты
[02:00:55] Typhon вышел(а) из комнаты
[02:01:49] Typhon вошёл(а) в комнату
[02:28:30] tilarids вышел(а) из комнаты
[03:39:38] Typhon вышел(а) из комнаты
[03:47:55] letrec вошёл(а) в комнату
[04:48:05] letrec вышел(а) из комнаты
[07:05:43] superbobry вошёл(а) в комнату
[07:20:22] superbobry вышел(а) из комнаты
[07:33:40] superbobry вошёл(а) в комнату
[07:36:01] superbobry вышел(а) из комнаты
[07:50:39] komar вышел(а) из комнаты: Replaced by new connection
[07:50:40] komar вошёл(а) в комнату
[09:21:53] komar вышел(а) из комнаты: Replaced by new connection
[09:21:53] komar вошёл(а) в комнату
[09:27:46] dzhon вошёл(а) в комнату
[09:27:55] komar вышел(а) из комнаты
[10:21:32] tilarids вошёл(а) в комнату
[10:37:50] ermine вошёл(а) в комнату
[10:39:23] Sun][ вошёл(а) в комнату
[10:54:16] dzhon вышел(а) из комнаты
[11:26:46] tilarids вышел(а) из комнаты: Machine going to sleep
[12:15:10] Kakadu вошёл(а) в комнату
[12:32:10] komar вошёл(а) в комнату
[12:33:30] Kakadu вышел(а) из комнаты
[12:38:52] komar вышел(а) из комнаты
[12:49:30] Typhon вошёл(а) в комнату
[12:56:37] tilarids вошёл(а) в комнату
[13:35:12] UncleVasya вошёл(а) в комнату
[14:52:07] UncleVasya вышел(а) из комнаты
[14:59:06] Typhon вышел(а) из комнаты
[15:00:54] Typhon вошёл(а) в комнату
[15:19:32] Typhon вышел(а) из комнаты
[15:23:49] Typhon вошёл(а) в комнату
[15:53:01] letrec вошёл(а) в комнату
[16:13:40] Kakadu вошёл(а) в комнату
[16:46:42] <f[x]> почему так? -> http://paste.in.ua/4663/
[17:00:14] <f[x]> гы, нашёл багу в метаокамле
[17:00:23] <f[x]> придётся ber собирать, проверять..
[17:15:14] Kakadu вышел(а) из комнаты
[17:28:35] tilarids вышел(а) из комнаты
[17:33:17] tilarids вошёл(а) в комнату
[17:53:50] <f[x]> fwiw - магическое заклинание для компиляции нативным metaocaml :
PATH=/opt/metaocaml-3.0.9/bin:$PATH ocamlopt metanative.cmxa /opt/metaocaml-3.0.9/lib/ocaml/libnatdyn.a ...
[17:57:31] <f[x]> теперь ассертит где-то в trx козлина
[17:57:32] Sun][ вышел(а) из комнаты
[17:57:40] <f[x]> а сорцы где..
[18:02:22] Kakadu вошёл(а) в комнату
[18:09:50] <gds> f[x]: а с какими целями используешь metaocaml?  Только jit?
[19:09:29] <f[x]> балуюсь
[19:09:53] <f[x]> даже не как jit, просто статически генерировать код
[19:12:36] <f[x]> что-то не выходит каменный цветок
[19:21:30] <gds> f[x]: если не jit -- расскажи задачу образно.
[19:24:19] <f[x]> http://alaska-kamtchatka.blogspot.ca/2012/08/merge-right.html
[19:24:31] <f[x]> захотел проинлайнить аргументы
[19:24:42] <f[x]> в результате уже полдня работа стоит
[19:25:52] <gds> а.  Дай пример того, что ты хочешь поинлайнить (ну, с чего начал дело), покажу результат.
[19:27:19] <gds> (или не покажу.  зато сам кое-что пойму в таком случае.)
[19:28:17] <gds> хочу, чтобы у меня тоже полдня стояло!
[19:30:18] <f[x]> http://paste.in.ua/4665/
[19:30:46] <gds> понел.
[19:31:25] Typhon вышел(а) из комнаты
[19:31:27] <f[x]> M0 - обычный caml, MM - ручной инлайн, M1 - один шаг инлайна, M2 - два шага
[19:31:40] <f[x]> как компилить кидал выше
[19:31:57] <f[x]> может компилю неправильно конечно
[19:32:33] <gds> у меня тут геморок нагрянул, через некоторое время отпишусь.
[19:32:41] <gds> идею понял.
[19:34:15] <f[x]> вроде metaocaml поддерживает нативную компиляцию, да и судя по коду тоже, но ассертит
[19:34:56] <f[x]> аргх
[19:35:01] <f[x]> metaocamlopt же
[19:35:13] <f[x]> ещё шажок
[19:41:13] <f[x]> по крайней мере metaocamlc говорит что M2 работает
[19:41:49] <f[x]> metaocamlopt невнятно ругается на какие-то релокейшны
[19:50:21] <f[x]> https://mailman.rice.edu/pipermail/metaocaml-users-l/2007-June/000090.html
[19:50:27] <f[x]> надо щупать ber
[19:50:41] <f[x]> а он только bytecode
[19:51:02] <f[x]> так что нативного metaocaml на amd64 у нас нет, вот так вот
[19:52:12] <f[x]> кстати gds с прошедшим тебя!
[20:06:59] tilarids вышел(а) из комнаты: Computer went to sleep
[20:10:52] <f[x]> надо будет потыкать Олега на icfp по этому поводу!
[22:09:31] komar вошёл(а) в комнату
[22:11:40] komar вышел(а) из комнаты: Logged out
[22:11:44] komar вошёл(а) в комнату
[22:25:57] letrec вышел(а) из комнаты
[22:29:24] Sun][ вошёл(а) в комнату
[22:44:52] dzhon вошёл(а) в комнату
[23:07:45] f[x] вошёл(а) в комнату
[23:34:47] komar вышел(а) из комнаты: Replaced by new connection
[23:34:47] komar вошёл(а) в комнату
[23:37:16] ftrvxmtrx вошёл(а) в комнату