Re[3]: Посоветуйте - Открытые проекты

Я давно слежу за вашим проектом, все мне здесь очень нравиться.
Пришла мне в голову одна идея — создать аналог R# но только не для исходного кода C#, а для IL т.е. производить все трансформации на уровне метаданных.
На данный момент кое что у меня начало получаться и заработало, но в общем проект пока в зародышевом состоянии.
Ознакомиться с обзором можно здесь

У меня просьба — выскажите свое мнение по поводу прочитанного.

Здравствуйте, <Аноним>, Вы писали:

А>У меня просьба — выскажите свое мнение по поводу прочитанного.
Напиши понагляднее структуру AST. Это — самое тонкое место. Почти все паттерны AOP требуют гранулярности мельче чем метод. Как минимум хотелось бы возможности инжектировать определенный код в начало и конец существующего метода. Поэтому интересно, какова мелкая структура AST.

... << RSDN@Home 1.1.4 beta 3 rev. 185>>

Здравствуйте, Sinclair, Вы писали:

S> Поэтому интересно, какова мелкая структура AST.

В кратце — так: В AST загруженные сборки разложены по классам, и мемберам классов. На данный момент мембер может быть трех типов (метод|поле|евент). Узел AST для метода имеет специализированные свойства среди которых ссылка на список IL инструкций, Этот список не readonly.
Более наглядные, в этом обзорном документе, в приложении есть схемы.

Здравствуйте, <Аноним>, Вы писали:

А>В кратце — так: В AST загруженные сборки разложены по классам, и мемберам классов. На данный момент мембер может быть трех типов (метод|поле|евент). Узел AST для метода имеет специализированные свойства среди которых ссылка на список IL инструкций, Этот список не readonly.
А как с Exception handlers? В MSIL специальная структура предусмотрена. Я бы предпочел, чтобы AST это отражало.
А>Более наглядные, в этом обзорном документе, в приложении есть схемы.
О, я вижу ты обновил приложение.
Кстати, ты бы зарегистрировался. Это бесплатно. А то как-то неловко с анонимом разговаривать.

... << RSDN@Home 1.1.4 beta 3 rev. 185>>

Здравствуйте, Sinclair, Вы писали:

S>А как с Exception handlers? В MSIL специальная структура предусмотрена. Я бы предпочел, чтобы AST это отражало.

над этим я щас и работаю. Пока незнаю будет AST отражать блоки исключений или нет(непонятно пока насколько это удобно), но вот ввести дополнительные IL инструкции думаю нужно. типа try и endtry. Использовать их для разбора начала и завершения блока обработчика исключения. А в момент сохранения тела метода — трансформировать их в стандартные MSIL структуры.
Но с этим пока мутно все. найти бы доки на русском по CLI и IL или что то схожее. я щас пользуюсь документацией из NET SDK 2.0 а тап по английски.

Здравствуйте, mike__, Вы писали:

__>над этим я щас и работаю. Пока незнаю будет AST отражать блоки исключений или нет(непонятно пока насколько это удобно), но вот ввести дополнительные IL инструкции думаю нужно. типа try и endtry.
Плохая идея. Преимущество AST — в том, что мало шансов породить неверный код. try, не снабженный соответствующим endtry вставить — нефиг делать.
__>Использовать их для разбора начала и завершения блока обработчика исключения. А в момент сохранения тела метода — трансформировать их в стандартные MSIL структуры.
__>Но с этим пока мутно все. найти бы доки на русском по CLI и IL или что то схожее. я щас пользуюсь документацией из NET SDK 2.0 а тап по английски.
А что там непонятно? Там очень легкий английский. Если что — спрашивай.

... << RSDN@Home 1.1.4 beta 3 rev. 185>>

Здравствуйте, <Аноним>, Вы писали:

А>У меня просьба — выскажите свое мнение по поводу прочитанного.

Что я могу сказать? Идея верная, и как и все верные идеи, не новая. Из аналогичных идей могу указать на две самые, на мой взгляд, интересные:
1. Microsoft Phoenix.
2. Spring.

Первное — это разработака МС на базе которой будут развиваться новые версии компиляторов МС.
Второе — это фрэймвор созданный на Яве использующий подобную технику для достижения довольно интересеных фич.

Идея сама по себе хорошая, но крайне сложная в исполннении. Причем сложен именно низкоуровневый движок модификации ИЛ-а. Именно эту проблему и устранит Феникс.

К сожалению Феникс пока что не доступен общественности. Иначе его использование было бы идеальным для подобных проектов.

Боюсь, что без Феникса подобный проект обречен на чисто ислледовательские цели. Причем скорее всего скоро окажется, что проект не поспевает за тем же Фениксом (я к сожалению не знаком с состоянием дел проекта).

Со своей стороны (сторы rsdn.ru) мы может поддержать этот проект выделив для него ресурсы на сервере (форум, векту в проектах, опубликовав статьи).

Ну, и естественно будем рады обсудить идеи касающиеся метапрогарммирования в этом форуме и в Философии.