Objective Caml - Среда, 20 января 2010

Objective Caml

ocaml@conference.jabber.ru

Среда, 20 января 2010< ^ >

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

GMT+3
[00:12:09] michael.holub вышел(а) из комнаты
[00:14:53] michael.holub вошёл(а) в комнату
[00:34:58] michael.holub вышел(а) из комнаты
[01:04:39] ygrek вышел(а) из комнаты
[03:33:17] daapp вошёл(а) в комнату
[04:10:24] iNode вышел(а) из комнаты
[07:46:13] geovit вошёл(а) в комнату
[07:56:07] geovit вышел(а) из комнаты
[07:57:52] geovit вошёл(а) в комнату
[08:04:13] iNode вошёл(а) в комнату
[11:41:02] ermine вошёл(а) в комнату
[12:06:03] iNode вышел(а) из комнаты
[12:55:36] Typhon вошёл(а) в комнату
[13:07:19] iNode вошёл(а) в комнату
[13:20:36] Lemans вошёл(а) в комнату
[13:21:49] Lemans вышел(а) из комнаты: qutIM : Jabber plugin
[13:23:37] daapp вышел(а) из комнаты
[13:58:04] serp256 вошёл(а) в комнату
[14:09:37] serp256 вышел(а) из комнаты
[14:09:42] serp256 вошёл(а) в комнату
[14:09:46] serp256 вышел(а) из комнаты
[14:11:15] Радзевич Белевич вошёл(а) в комнату
[14:12:21] Радзевич Белевич вышел(а) из комнаты
[14:13:27] serp256 вошёл(а) в комнату
[14:39:22] sceptic вышел(а) из комнаты
[15:05:20] Typhon вышел(а) из комнаты
[15:11:52] serp256 вышел(а) из комнаты
[15:12:51] serp256 вошёл(а) в комнату
[15:20:36] Typhon вошёл(а) в комнату
[15:29:41] sceptic вошёл(а) в комнату
[15:35:12] michael.holub вошёл(а) в комнату
[16:09:50] Typhon вышел(а) из комнаты
[17:04:00] geovit вышел(а) из комнаты
[17:14:36] iNode вышел(а) из комнаты
[17:39:42] <f[x]> открытие - можно писать include struct open Bla_bla ... end вместо module TEMP = struct open Bla_bla ... end include TEMP :)
[17:45:15] Typhon вошёл(а) в комнату
[17:53:48] iNode вошёл(а) в комнату
[18:25:35] Typhon вышел(а) из комнаты
[18:47:47] Typhon вошёл(а) в комнату
[19:31:18] michael.holub вышел(а) из комнаты
[19:43:20] olegfink вышел(а) из комнаты
[19:45:35] olegfink вошёл(а) в комнату
[19:47:30] <f[x]> olegfink: молви слово
[19:47:50] <olegfink> СВОБООООДА!
[19:48:00] serp256 вышел(а) из комнаты
[19:48:16] <olegfink> хотя в оригинале была "гласность", видимо
[19:48:20] <olegfink> спасибо
[19:48:46] <f[x]> welcome
[19:51:54] <olegfink> а здесь-то есть эксперты по ocamlbuild? как уже говорилось, я обещаю его осилить, если мне покажут хотя бы часть про линковку c++ из моего мейкфайла
[19:52:39] <f[x]> из того что я видел в чате - нет смысла использовать камлобилд если проект состоит из одного файла
[19:53:00] <olegfink> оно уже не из одного
[19:53:03] <f[x]> польза от камлобилда в том что он межмодульные зависимости разруливает
[19:53:10] <olegfink> то есть я уже начинаю жалеть, что не из одного
[19:53:20] <olegfink> ну он мне для того и нужен
[19:53:26] <olegfink> все остальное делает make
[19:53:32] <f[x]> ну тогда покажи код/makefile
[19:54:04] <olegfink> http://vpaste.net/DtPiG?
[19:55:26] <olegfink> фактически из интересного тут только parser.ml, которому нужен camlp4oof, ну и slvm.cpp, который надо собрать и слинковать с результатами (comp и decomp)
[19:56:25] <olegfink> кстати, этот мейкфайл немного неправильный в районе slvm.cma, оно явно .cmi не использует
[19:57:41] <olegfink> код надо?
[19:57:47] <f[x]> угу
[19:57:57] <f[x]> завтра уже
[20:00:24] <olegfink> хорошо
[20:07:13] <olegfink> так, а если плюнуть на страшный llvm, какие есть небольшие абстрактные машины / компиляторы в них?
[20:07:39] <olegfink> никакой особой интеллектуальности не требуется, желательно чтобы оно было регистровое
[20:17:30] f[x] вышел(а) из комнаты
[20:29:23] <ermine> cleng/llvm?
[20:31:04] ermine юзает камлобилд и для одного файла
[20:31:26] <ermine> удобно вписать все нужное в _tags и забыть
[20:32:08] <olegfink> llvm все-таки страшен и жуток
[20:32:10] <olegfink> не хочу я llvm
[20:32:47] <ermine> у тебя бсд чоли?
[20:34:35] <olegfink> если бы у меня был бсд, я бы наверное наоборот хотел llvm
[20:37:01] <olegfink> мне надо что-то совсем маленькое, лень самому писать
[20:37:21] <ermine> olegfink: а зачем ты вообще смотрел на llvm?
[20:37:34] <olegfink> компилятор с осознаваемого размера ast и тупая абстрактная машина, mips какой-нибудь тоже сойдет
[20:37:43] <olegfink> ну, там уже все готовое
[20:37:47] <olegfink> кодеген написан
[20:38:02] <olegfink> плюс попса, что тоже казалось бы имеет положительные стороны
[20:38:55] <ermine> а пчу именно на камле?
[20:39:07] <ermine> это было совсем неожиданно от тебя увидеть :)
[20:39:21] <olegfink> странно
[20:39:31] <olegfink> а на чем по твоему мнению я должен писать?
[20:39:39] <ermine> ну, хаскиль, ява, все такое
[20:39:44] <olegfink> хм
[20:40:00] <olegfink> на хаскеле я вообще никогда не писал, на жабе только когда заставляли
[20:40:23] <ermine> а на icfpcах?
[20:40:53] <olegfink> по-человечески я участвовал только в последнем, и писали мы на K
[20:40:58] <olegfink> ты уверена, что я -- это я?
[20:41:21] zert вошёл(а) в комнату
[20:41:30] <ermine> ну, один и тот же ник
[20:41:38] <ermine> наверное зареганный на определенный джид
[20:41:48] <olegfink> мой ник никогда не писал icfpc на хаскеле
[20:41:55] <olegfink> и на жабе тоже
[20:42:26] <ermine> не
[20:42:37] <ermine> я не говорю на чем ты писал на ицфпцах
[20:42:53] <ermine> ладно, проехали
[20:43:09] <ermine> а гцц чем не радует? он везде есть
[20:43:25] <olegfink> gcc/x86?
[20:43:39] <ermine> к старому camlp4 был ocpp, который парсил с++ код, не знаю правда что с этим можно делать
[20:43:40] <olegfink> совокупной толщиной мануала по обоим
[20:44:10] <olegfink> мне надо понимать и компилятор, и машину
[20:44:23] <olegfink> если бы у меня был опыт, проще бы было наверное написать руками
[20:44:51] <olegfink> мне оно надо просто для некоторых экспериментов, а не для serious business
[20:45:53] <ermine> ну это ицфпц 2007 года, если для експериментов
[20:46:04] <olegfink> 2006-го наверное
[20:46:11] <olegfink> оно слишком трушное все-таки
[20:46:19] <ermine> не, umix был в 2007
[20:46:39] <olegfink> http://boundvariable.org/
[20:47:57] <ermine> алексей к умиксу за 15 минут переделал код vm, написанный для vm ырланка
[20:48:42] <olegfink> я подумываю над компромиссным вариантом, http://www.vitanuova.com/inferno/papers/dis.html
[20:49:03] <olegfink> но там только на си и лимбе компиляторы
[20:50:42] <olegfink> а вообще может UM действительно самое то для моих нужд
[20:53:02] <ermine> древненькое?
[20:53:46] <ermine> жалко будет, если в драгонбуке не описали, как делать vm
[20:53:50] <ermine> :)
[20:55:37] <olegfink> я хочу сначала потыкать ручками, а уже потом книжки читать ;-)
[20:56:59] <sceptic> ermine: vm для ырланка? а зачем?
[20:57:41] <ermine> sceptic: чтобы написать компилятор ырланка
[20:57:55] <ermine> проект давно заглох из-за проблем с типизацией
[20:58:34] <olegfink> мде, humlock -- 21kLOC
[20:58:52] <olegfink> много, еще и SML, который местами надо думать, когда читаешь
[21:00:20] <ermine> ссзб
[21:00:39] <ermine> olegfink: а ты хотел бы все готовенькое?
[21:01:46] <olegfink> нет, я хотел бы все поплоше
[21:19:58] <olegfink> а в sml есть какое-нибудь show из коробки?
[22:23:58] zert вышел(а) из комнаты
[22:38:54] ygrek вошёл(а) в комнату
[22:52:03] <ygrek> 3.11.2 таки выпхнули
[22:53:06] <olegfink> у меня 563 unread в caml-list :-(
[22:53:50] <olegfink> в основном баги в ocamlbuild?
[22:55:30] <ygrek> всякие разные
[23:10:15] serp256 вошёл(а) в комнату
[23:18:23] digital_curse вышел(а) из комнаты
[23:27:38] iNode вышел(а) из комнаты
[23:28:47] digital_curse вошёл(а) в комнату
[23:29:23] digital_curse вышел(а) из комнаты
[23:29:55] digital_curse вошёл(а) в комнату
[23:37:36] digital_curse вышел(а) из комнаты
[23:38:27] digital_curse вошёл(а) в комнату