Переоснащение неявных модулей для языка 1ML

ФИО студента: Трилис Алексей Андреевич

Руководитель: Новиков Борис Асенович

Кампус/факультет: Санкт-Петербургская школа физико-математических и компьютерных наук

Программа: Прикладная математика и информатика (Бакалавриат)

Год защиты: 2021

Отсутствие ad-hoc-полиморфизма в языках семейства ML может считаться существенным недостатком. Цель данной работы — расширить экспериментальный язык 1ML ad-hoc-полиморфизмом с помощью неявных модулей. Язык 1ML отличается минимальным и однородным подходом к системе модулей ML и отсутствием зависимых типов, что значительно упрощает некоторые задачи, возникающие при разработке ad-hoc-полиморфизма. Предлагаемое решение основывается на прототипе Вайта и других для языка OCaml, при этом является более полным. В решении поддержаны неявные аргументы для функторов, которые до этого не поддерживались ни в одной работе о ML, а также разработан алгоритм, эффективно находящий корректный порядок вывода неявных модулей. Ключевые слова: неявные параметры, неявные модули, имплициты, классы типов, язык модулей ML, OCaml, 1ML.

Выпускные квалификационные работы (ВКР) в НИУ ВШЭ выполняют все студенты в соответствии с университетским Положением и Правилами, определенными каждой образовательной программой.

Аннотации всех ВКР в обязательном порядке публикуются в свободном доступе на корпоративном портале НИУ ВШЭ.

Полный текст ВКР размещается в свободном доступе на портале НИУ ВШЭ только при наличии согласия студента – автора (правообладателя) работы либо, в случае выполнения работы коллективом студентов, при наличии согласия всех соавторов (правообладателей) работы. ВКР после размещения на портале НИУ ВШЭ приобретает статус электронной публикации.

ВКР являются объектами авторских прав, на их использование распространяются ограничения, предусмотренные законодательством Российской Федерации об интеллектуальной собственности.

В случае использования ВКР, в том числе путем цитирования, указание имени автора и источника заимствования обязательно.

Реестр дипломов НИУ ВШЭ