Исследование и имплементация комплексной аннотации типов в современных языках программирования

20 May 2025, 16:55
12m
107 БК (МФТИ)

107 БК

МФТИ

Моделирование и компьютерная оптимизация, инженерия 20-Моделирование и компьютерная оптимизация, инженерия

Speaker

Evgeny Terekhov (MIPT)

Description

Работа посвящена теме механизма аннотации типов в языках программирования. Проведена имплементация механизма в развивающийся язык Étude, представлено сравнение языка с альтернативами. Исследовано влияние механизма аннотации типов на продуктивность при написании кода.

Primary author

Co-authors

Presentation materials