Details

Title Реализация механизма классов типов в языке программирования Kotlin: магистерская диссертация: 09.04.01
Creators Хандыго Евгений Дмитриевич
Scientific adviser Ицыксон Владимир Михайлович
Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий
Imprint Санкт-Петербург, 2017
Collection Выпускные квалификационные работы ; Общая коллекция
Subjects Программирования языки ; Вычислительные машины электронные — Программирование объектно-ориентированное ; полиморфизм
UDC 004.438(043.3) ; 004.42.045(043.3)
Document type Master graduation qualification work
File type PDF
Language Russian
Level of education Master
Speciality code (FGOS) 09.04.01
Speciality group (FGOS) 090000 - Информатика и вычислительная техника
DOI 10.18720/SPBPU/2/v17-4123
Rights Доступ по паролю из сети Интернет (чтение, печать, копирование)
Record key RU\SPSTU\edoc\45046
Record create date 10/18/2017

Allowed Actions

Action 'Read' will be available if you login or access site from another network

Action 'Download' will be available if you login or access site from another network

Group Anonymous
Network Internet

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

Network User group Action
ILC SPbPU Local Network All
Read Print Download
Internet Authorized users SPbPU
Read Print Download
Internet Anonymous
  • ВВЕДЕНИЕ
  • 1. Обзор существующих решений
    • 1.1. Классы типов в Haskell
    • 1.2. Классы типов в Scala
    • 1.3. Классы типов в C++
    • 1.4. Выводы
  • 2. Постановка задачи
    • 2.1. Введение семантики классов типов
    • 2.2. Выбор инструментальных средств реализации
  • 3. Детали реализации
    • 3.1. Внутреннее устройство компилятора языка программирования Kotlin
    • 3.2. Разработка прототипа механизма классов типов
    • 3.3. Реализация прототипа механизма классов типов
    • 3.4. Модификация прототипа механизма классов типов
  • 4. Апробация
    • 4.1. Анализ разработанного решения
    • 4.2. Тестирование
      • 4.2.1. Автоматическое тестирование
      • 4.2.2. Ручное тестирование
  • ЗАКЛЮЧЕНИЕ
  • СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ

Access count: 192 
Last 30 days: 0

Detailed usage statistics