Встреча SpbDotNet №117

Александр Гольдебаев
«Roslyn as a Service: как я написал свой компилятор в  .NET-инфраструктуре»

.NET разработчики пользуются Roslyn каждый день, но пайплайн работы компилятора скрывается за привычными API, оставаясь в головах обывателей набором разрозненных терминов. В этом докладе мы соберём компактную модель представления: разберём на реальном примере, где в Roslyn живут AST, IR и CFG и зачем столько представлений, казалось бы, одного и того же текста исходной программы. В результате у слушателя останется более ясное понимание не только работы компилятора в целом, но и модели СaaS со всеми её бенефитами.

• Соберём ментальную модель того, как устроен компилятор c точки зрения обычного разработчика, без ухода в глубокую теорию;
• Посмотрим, как Roslyn реализует модель Compiler as a Service на практике, какие API предоставляет для парсинга, анализа и генерации IL;
• Разберем что toolchain уже решает, а что для собственного языка все равно придется проектировать самому;
• Постараемся понять а зачем оно вообще нужно, даже если в планах нет написания своего компилятора.

Об авторе

Full stack web-разработчик на стеке технологий C# + React. Студент ИТМО.

Дмитрий Гордеев
«Формализация требований. Как сделать работу ИИ предсказуемой»

В докладе поговорим о том, почему при работе с AI-ассистентами важны не только модель и инструмент, но и качество формализации требований. Разберём разные варианты формирования требований, а также то, как явные ограничения, контракты и критерии проверки помогают снизить количество переделок, сохранить согласованность системы и превратить ИИ в полезный рабочий инструмент.

Об авторе

Дмитрий в разработке на  .NET более 11 лет, с опытом создания высоконагруженных систем. Сейчас работает архитектором ПО и в большей степени сосредоточен на архитектуре и инженерных решениях. В тех задачах, где продолжает писать код сам, использует ИИ, чтобы работать эффективнее.