27 мая 2026 года в рамках цикла «Ворчалки о программировании» и деятельности Института компилятороварения состоялась шестая лекция Алексея Недори, посвящённая теме параметризованных модулей в языке программирования Тривиль.
В ходе выступления были рассмотрены ключевые аспекты реализации параметризованных модулей, включая:
- Практическая реализация параметризованных модулей в Тривиль — демонстрация лаконичного подхода к параметризации через типы и константы с минимальными затратами на разработку
- Проблемы видимости и рекурсии — анализ иерархической видимости в модулях и последствий рекурсивных вызовов
- Мономорфизация versus обобщение данных — сравнительный анализ подходов к параметрическому полиморфизму, включая критику неявного боксинга в современных языках программирования
- Протоколы как механизм абстракции — рассмотрение протоколов в Тривиль как легковесной альтернативы традиционным интерфейсам
- Вопросы унифицированной системы типов — обсуждение философских и технических проблем создания единой системы типов
Лектор также затронул вопросы терминологии, различий между перегрузкой функций и обобщёнными типами, а также проблемы стирания типов в таких языках, как Java и Kotlin. Особое внимание было уделено вопросам тестирования модулей, работе с AST (абстрактным синтаксическим деревом) на этапе компиляции и использованию юнит-тестирования для проверки синтаксической и семантической корректности параметризованных модулей.
Видеозапись лекции доступна на платформе Rutube по ссылке
Лекция №6. Параметризованные модули. Как не дать мыши родить слона | Алексей Недоря |