Детальная информация

Кирпиченков, Павел Станиславович. Разработка параметризированных типов с переменным набором параметров для языка Kotlin [Электронный ресурс] = Implementation of parametric polymorphism with variable number of type parameters in Kotlin programming language: выпускная квалификационная работа магистра: 09.04.01 - Информатика и вычислительная техника ; 09.04.01_15 - Технологии проектирования системного и прикладного программного обеспечения / П. С. Кирпиченков; Санкт-Петербургский политехнический университет Петра Великого, Институт компьютерных наук и технологий ; науч. рук. В. М. Ицыксон ; консультант по нормоконтролю А. Г. Новопашенный. — Электрон. текстовые дан. (1 файл : 0,5 Мб). — Санкт-Петербург, 2019. — Загл. с титул. экрана. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/3/2019/vr/vr19-529.pdf>. — <URL:http://doi.org/10.18720/SPBPU/3/2019/vr/vr19-529>. — <URL:http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-529-o.pdf>. — <URL:http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-529-r.pdf>. — <URL:http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-529-a.pdf>.

Дата создания записи: 26.09.2019

Тематика: Программирования языки; параметрический полиморфизм; Kotlin; переменная арность

УДК: 004.438(043.3)

Коллекции: Выпускные квалификационные работы; Общая коллекция

Ссылки: DOI; Отзыв руководителя; Рецензия; Отчет о проверке на объем и корректность внешних заимствований

Разрешенные действия: Прочитать Загрузить (0,5 Мб) Для чтения документа необходим Flash Player

Группа: Анонимные пользователи

Сеть: Интернет

Аннотация

Параметрический полиморфизм широко распространен в современных языках программирования, но лишь некоторые из них позволяют работать с переменным набором типовых параметров. В работе дается классификация видов полиморфизма и рассматриваются существующие языки программирования с поддержкой типовых параметров переменной размерности. Предлагается расширение синтаксиса для языка Kotlin, реализованное в прототипной версии компилятора. По результатам тестирования прототипа дается оценка возможностей и ограничений предложенного подхода.

Parametric polymorphism is widely present in modern programming languages, but only some of them support type parameters of variable arity. In this work we give a classification of polymorphism and make a review of how existing languages deal with variably-sized type parameters. We then suggest a syntax extension for Kotlin, that is implemented in a compiler prototype. We also give our evaluation of the new approach based on the testing results.

Права на использование объекта хранения

Место доступа Группа пользователей Действие
Локальная сеть ИБК СПбПУ Все Прочитать Печать Загрузить
-> Интернет Все Прочитать Печать Загрузить

Оглавление

  • ВВЕДЕНИЕ
  • 1. Полиморфизм в языках программирования
    • 1.1. Классификация видов полиморфизма
    • 1.2. Предпосылки для использования параметрического полиморфизма с переменным набором параметров
    • 1.3. Параметрический полиморфизм в С++
    • 1.4. Параметрический полиморфизм в D
    • 1.5. Параметрический полиморфизм в функциональных языках программирования
  • 2. Цели и задачи работы
    • 2.1. Цель работы
    • 2.2. Задачи работы
  • 3. Разработка синтаксиса переменного набора типовых параметров
    • 3.1. Особенности языка Kotlin
    • 3.2. Дизайн синтаксиса
  • 4. Разработка прототипа компилятора
    • 4.1. Архитектура компилятора
    • 4.2. Поддержка типизации в компиляторе Kotlin
    • 4.3. Изменения в синтаксическом разборе
    • 4.4. Изменения в статическом анализе
      • 4.4.1. Проверка типового параметра
      • 4.4.2. Вывод и хранение типовых аргументов
      • 4.4.3. Работа с индексированными типами
  • 5. Тестирование и оценка результатов
    • 5.1. Тестирование
    • 5.2. Оценка результатов и дальнейшее развитие
  • ЗАКЛЮЧЕНИЕ
  • СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ
  • ПРИЛОЖЕНИЕ. ЛИСТИНГИ

Статистика использования документа

stat Количество обращений: 21
За последние 30 дней: 4
Подробная статистика