Есть основа для магистерской работы

Задача

Реализовать систему поддтипов для Java 11+ в compile-type.

Мотивация

В Java-приложениях возникает необходимость введения подтипов. Например, в структурах данных часто используются числа (int) в качестве индекса. В таком случае можно случайно перепутать индексы разных сущностей и использовать индексы одних объектов в качестве индексов к другим. Чтобы этого избежать, можно было бы использовать подтипы, но, к сожалению, в Java нет такой технической возможности "из коробки". Хотелось бы реализовать механизм статического анализа подтипов на этапе сборки, например с помощью annotation процессоров.

Стек технологий

Техническая задача

Количество студентов в проект — 1 человек