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 | |
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 |
|
Internet | Authorized users SPbPU |
|
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