Заколенко, РоманНагірна, Алла2025-03-192025-03-192024Заколенко Р. К. Класи типів у мові програмування Java / Заколенко Р. К., Нагірна А. М. // Теоретичні та прикладні аспекти побудови програмних систем : працi 15 міжнародної науково-практичної конференції, Київ, 23-24 грудня 2024 р. / [за заг. ред.: М. М. Глибовця, Т. В. Панченка та iн. ; Факультет інформатики Національного університету "Києво-Могилянська академія" та ін.]. - Київ : НаУКМА, 2024. - C. 59-60.https://ekmair.ukma.edu.ua/handle/123456789/34034This 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.Матеріали доповiді учасників 15 міжнародної науково-практичної конференції "Теоретичні та прикладні аспекти побудови програмних систем", Київ, 23-24 грудня 2024 р.ukмова програмування Javaпрограмне забезпеченнякласи типівматеріали конференціїConference materials