Класи типів у мові програмування Java

Simple item page
dc.contributor.authorЗаколенко, Романuk_UA
dc.contributor.authorНагірна, Аллаuk_UA
dc.date.accessioned2025-03-19T09:43:19Z
dc.date.available2025-03-19T09:43:19Z
dc.date.issued2024
dc.descriptionThis paper proposes a mechanism for implementing type classes in Java through annotation processing. Type classes, a powerful feature of functional programming languages, allow adding new behavior to existing types without inheritance or modifying their source code. While Java's type system lacks native support for type classes, we present an approach using a custom @Implicit annotation that enables compile-time resolution of type class instances. The proposed solution supports both simple type classes and higher-kinded types, necessary for abstractions like functors and monads. Our implementation leverages annotation processing to automatically discover and inject appropriate type class instances, eliminating the need for explicit instance passing and reducing boilerplate code. The approach maintains Java's static typing benefits while introducing the extensibility and code reuse capabilities typical of type classes in functional languages.en_US
dc.description.abstractМатеріали доповiді учасників 15 міжнародної науково-практичної конференції "Теоретичні та прикладні аспекти побудови програмних систем", Київ, 23-24 грудня 2024 р.uk_UA
dc.identifier.citationЗаколенко Р. К. Класи типів у мові програмування Java / Заколенко Р. К., Нагірна А. М. // Теоретичні та прикладні аспекти побудови програмних систем : працi 15 міжнародної науково-практичної конференції, Київ, 23-24 грудня 2024 р. / [за заг. ред.: М. М. Глибовця, Т. В. Панченка та iн. ; Факультет інформатики Національного університету "Києво-Могилянська академія" та ін.]. - Київ : НаУКМА, 2024. - C. 59-60.uk_UA
dc.identifier.urihttps://ekmair.ukma.edu.ua/handle/123456789/34034
dc.language.isoukuk_UA
dc.publisherНаціональний університет "Києво-Могилянська академія"uk_UA
dc.relation.sourceТеоретичні та прикладні аспекти побудови програмних систем : працi 15 міжнародної науково-практичної конференції, Київ, 23-24 грудня 2024 р.uk_UA
dc.statusfirst publisheduk_UA
dc.subjectмова програмування Javauk_UA
dc.subjectпрограмне забезпеченняuk_UA
dc.subjectкласи типівuk_UA
dc.subjectматеріали конференціїuk_UA
dc.titleКласи типів у мові програмування Javauk_UA
dc.title.alternativeType classes in Javaen_US
dc.typeConference materialsuk_UA
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Zakolenko_Klasy_typiv_u_movi_prohramuvannia_Java.pdf
Size:
195.13 KB
Format:
Adobe Portable Document Format
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:
Download
Collections
Теоретичні та прикладні аспекти побудови програмних систем: 15 Міжнародна науково-практична конференція
Докторська школа імені родини Юхименків
Кафедра інформатики