Objective Caml - Понедельник, 23 ноября 2009

Objective Caml

ocaml@conference.jabber.ru

Понедельник, 23 ноября 2009< ^ >

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

GMT+3
[00:00:41] <ygrek> судя по коммитам mfp плотно взялся за aaa-batteries, так что может батарейки и зарелизят
[00:08:12] ygrek вышел(а) из комнаты
[02:06:21] michael.holub вышел(а) из комнаты
[02:52:15] michael.holub вошёл(а) в комнату
[03:26:50] michael.holub вышел(а) из комнаты
[04:06:46] sevenov вышел(а) из комнаты
[07:16:01] iNode вышел(а) из комнаты
[07:50:05] geovit вошёл(а) в комнату
[08:16:05] iNode вошёл(а) в комнату
[09:14:05] gds вышел(а) из комнаты
[09:17:25] aloner2k вошёл(а) в комнату
[09:31:53] michael.holub вошёл(а) в комнату
[09:56:34] ygrek вошёл(а) в комнату
[10:05:06] michael.holub вышел(а) из комнаты
[10:27:02] Mon вошёл(а) в комнату
[10:29:40] michael.holub вошёл(а) в комнату
[10:46:57] michael.holub вышел(а) из комнаты
[10:47:44] f[x] вошёл(а) в комнату
[11:28:09] iNode вышел(а) из комнаты
[11:30:06] animist вошёл(а) в комнату
[11:35:44] iNode вошёл(а) в комнату
[11:39:56] Kakadu вошёл(а) в комнату
[11:51:33] sceptic вышел(а) из комнаты
[11:55:42] sceptic вошёл(а) в комнату
[12:01:31] michael.holub вошёл(а) в комнату
[12:02:01] michael.holub вышел(а) из комнаты
[12:02:59] gds вошёл(а) в комнату
[12:23:38] Kakadu вышел(а) из комнаты
[12:27:56] <f[x]> как узнать сколько всего либ на hump'е?
[12:31:41] <gds> спросить Maxence Guesdon'а :)
[12:32:55] Typhon вошёл(а) в комнату
[12:34:49] daapp вошёл(а) в комнату
[12:35:09] <f[x]> хаскелль-тролль > Haskell has by far more libraries to use (1700 packages on http://hackage.haskell.org)
[12:41:25] Typhon вышел(а) из комнаты: Replaced by new connection
[12:41:26] Typhon вошёл(а) в комнату
[12:41:34] <gds> как я понял по рассказам, многое там не работает вообще, редкий код работает в промышленных условиях (аккуратно жрёт память, например), редко есть документация, и крупно везёт, если есть хотя бы комментарии в коде. Так что цифры тут не показатель.
[12:47:46] Mon вышел(а) из комнаты
[12:50:06] <f[x]> в камле тоже не всё гладко, но говорить 'by far more' это явное преувеличение
[12:52:22] michael.holub вошёл(а) в комнату
[12:52:28] michael.holub вышел(а) из комнаты
[13:01:57] Mon вошёл(а) в комнату
[13:04:09] <Typhon> кстати, с момента сообщения gds'ом о наличии перевода tapl, его версия на сайте обновилась и теперь имеет читабельный шрифт.
[13:07:05] ygrek вышел(а) из комнаты
[13:25:27] Mon вышел(а) из комнаты
[13:32:18] Typhon вышел(а) из комнаты
[13:33:25] Typhon вошёл(а) в комнату
[13:39:58] Mon вошёл(а) в комнату
[13:41:16] Typhon вышел(а) из комнаты
[14:06:35] Kakadu вошёл(а) в комнату
[14:07:28] ermine вошёл(а) в комнату
[14:08:54] <Kakadu> Мне скорее всего придется в следущем году писать навороченный препроцессор для Си (в рамках утилиты статического анализа кода). Писать буду на камле. Никак не могу примерно оценить объем работы, есть ощущения только "надо сесть и написать"))
[14:12:31] <sceptic> Так и поступай
[14:48:22] <daapp> Kakadu: в haskell есть модуль разбора C - Language.C . Вроде бы им исходники ядра протралили
[14:50:42] <Kakadu> daapp: Спасибо, посмотрю.
[14:52:56] <gds> Kakadu: объём работ -- охрененный просто. Для начала есть смысл посмотреть на CIL -- он на камле тоже, и там много долбались, чтобы парсилось отлично. Хотя бы почитать документацию и понять уровень проблемы.
Кроме того, можно посмотреть сюда: http://frama-c.cea.fr/ (это бывший caduceus).
[14:53:26] <Kakadu> да, я знаю что такое CIL
[14:53:47] <Kakadu> у меня в униврере проект (далее Creen) он использует CIL
[14:54:02] <Kakadu> только CIL не умеет после обработки теста сохранять комментарии
[14:54:11] <Kakadu> там в справке так и написано прямым тестом
[14:54:38] <Kakadu> поэтому пришла идея в голову написать навороченные препроуессор, который сохранял бы инцу о всех комментах
[14:54:53] <Kakadu> и немного наворотить CIL чтобы их там хранить
[14:54:58] <Kakadu> короче всё очень весело
[14:55:49] <Kakadu> про линк ничего не слышал, буду изучать
[14:56:44] Typhon вошёл(а) в комнату
[14:57:00] Typhon вышел(а) из комнаты
[14:58:38] <gds> лично я бы предпочёл донасиловать CIL до хранения комментариев, нежели писать с нуля сишный парсер.
[14:59:46] <daapp> но лучше бы конечно написать анализатор паскалевского кода и систему оценки кода и поувольнять дельфирастов, всех , сразу.
[15:01:44] <gds> у дельфей сила в тупом построителе гуя с кучей компонентов. ступидентов легко найти на поддержку. одним паскалём не отделаться.
[15:02:23] <daapp> к сожалению не одних ступидентов
[15:05:01] <f[x]> есть yacfe (aka cocinelle) - там комменты хранятся
[15:05:16] <f[x]> ядро им парсили
[15:07:21] <Kakadu> насчет препроцессора
[15:07:39] <Kakadu> тут комменты не есть самая важная часть для чего он нужен.
[15:08:05] <Kakadu> дело в том , что не понятно как пропустить гнушный препроцессор, так чтобы он сохранил инфу о макроподстановках
[15:08:25] <Kakadu> возможно конечно что я не нашел опцию нужную
[15:08:58] <f[x]> yacfe вроде хранит инфу о макроподстановках
[15:09:35] <Kakadu> хорошо, я посмотрю на этого зверя.
[15:09:58] michael.holub вошёл(а) в комнату
[15:11:40] <f[x]> а ещё есть olmar и pork
[15:13:22] <Kakadu> я всё посмотрю постепенно. просто CREEN очень завязан на собственной версией CIL, надо будет обдумать, как это всё прикручивать. Но я эумаю это решаемые вопросы.
[15:32:26] sevenov вошёл(а) в комнату
[16:56:01] iNode вышел(а) из комнаты
[16:57:24] michael.holub вышел(а) из комнаты
[17:02:54] geovit вышел(а) из комнаты
[18:09:22] Typhon вошёл(а) в комнату
[18:09:55] Mon вышел(а) из комнаты
[18:10:08] Mon вошёл(а) в комнату
[18:54:47] sceptic вышел(а) из комнаты: Replaced by new connection
[18:54:52] sceptic вошёл(а) в комнату
[19:05:43] Typhon вышел(а) из комнаты
[19:09:18] Typhon вошёл(а) в комнату
[19:21:36] daapp вышел(а) из комнаты
[19:27:50] ermine вышел(а) из комнаты
[19:28:00] <f[x]> btw http://brion.inria.fr/gallium/index.php/Using_Camlp4
Please note that pre-processing files written in "pure" original syntax is not mandatory (since the Objective Caml compiler understands it natively), however it may be damn useful when dealing with the cryptic "Syntax error" message:
[19:45:09] Kakadu вышел(а) из комнаты: I'm happy Miranda IM user. Get it at http://miranda-im.org/.
[20:04:01] f[x] вышел(а) из комнаты
[20:04:32] Mon вышел(а) из комнаты
[20:04:44] Mon вошёл(а) в комнату
[20:15:31] Mon вышел(а) из комнаты
[20:15:48] Mon вошёл(а) в комнату
[20:20:30] Typhon вышел(а) из комнаты
[20:23:12] sevenov вышел(а) из комнаты
[20:25:29] sevenov вошёл(а) в комнату
[20:36:51] sevenov вышел(а) из комнаты
[20:40:44] f[x] вошёл(а) в комнату
[20:44:11] f[x] вышел(а) из комнаты
[20:46:02] f[x] вошёл(а) в комнату
[21:01:18] Kakadu вошёл(а) в комнату
[21:07:36] Mon вышел(а) из комнаты: Replaced by new connection
[21:07:38] Mon вошёл(а) в комнату
[21:24:07] Mon вышел(а) из комнаты
[21:24:20] Mon вошёл(а) в комнату
[21:29:33] Typhon вошёл(а) в комнату
[21:31:40] sceptic вышел(а) из комнаты
[21:34:16] sceptic вошёл(а) в комнату
[22:08:03] sevenov вошёл(а) в комнату
[22:41:28] Typhon вышел(а) из комнаты: Replaced by new connection
[22:41:30] Typhon вошёл(а) в комнату
[22:51:42] Mon вышел(а) из комнаты
[22:51:52] Mon вошёл(а) в комнату
[23:36:19] Kakadu вышел(а) из комнаты
[23:50:30] sevenov вышел(а) из комнаты
[23:56:20] sevenov вошёл(а) в комнату