Основными объектами исследования являются: dot calculus - формализация системы типов, построенной на Dependent Object Types и язык программирования Dotty, являющийся её практической реализацией и идеологическим наследником языка Scala. Речь пойдет об отличиях системы типов от уже использующейся в Scala, теоретических нововведениях и программной реализации их поддержки на базе scala-plugin для интегрированной среды разработки IntelliJ IDEA.

Сугак А.М. (науч. рук. Шалыто А.А.) Исследование нововведений в системе типов языка Dotty и реализация их поддержки в scala-plugin IntelliJ IDEA // Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, [2019]. URL: https://kmu.itmo.ru/digests/article/604