Реализация механизма классов типов в языке программирования Kotlin

Евгений Хандыго, Владимир Ицыксон, Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий
2017
Объектно-ориентированные языки программирования существенно изменились за последние несколько десятилетий. Они стали более мощными, более выразительными и, в соответствии с современными тенденциями, более функциональными. Сегодня большинство языков программирования семейства Java предоставляют возможность использования таких особенностей функциональных языков программирования, как, например, лямбда-нотация, ленивые вычисления и функции высшего порядка. Тем не менее, некоторые по-настоящему
more » ... е механизмы функциональной парадигмы присутствуют лишь в нескольких объектно-ориентированных языках программирования. Одним из них является механизм классов типов. В рамках данной работы будет представлена реализация данного механизма в языке программирования Kotlin. Разработанный прототип является полнофункциональным расширением компилятора и позволяет утверждать, что подобный механизм может существенным образом повысить выразительность объектно-ориентированных языков программирования.
doi:10.18720/spbpu/2/v17-4123 fatcat:kj4ey5bs4zg7toexqw64f2gcm4