Класи типів у мові програмування Java
Loading...
Date
2024
Authors
Заколенко, Роман
Нагірна, Алла
Journal Title
Journal ISSN
Volume Title
Publisher
Національний університет "Києво-Могилянська академія"
Abstract
Матеріали доповiді учасників 15 міжнародної науково-практичної конференції "Теоретичні та прикладні аспекти побудови програмних систем", Київ, 23-24 грудня 2024 р.
Description
This 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.
Keywords
мова програмування Java, програмне забезпечення, класи типів, матеріали конференції
Citation
Заколенко Р. К. Класи типів у мові програмування Java / Заколенко Р. К., Нагірна А. М. // Теоретичні та прикладні аспекти побудови програмних систем : працi 15 міжнародної науково-практичної конференції, Київ, 23-24 грудня 2024 р. / [за заг. ред.: М. М. Глибовця, Т. В. Панченка та iн. ; Факультет інформатики Національного університету "Києво-Могилянська академія" та ін.]. - Київ : НаУКМА, 2024. - C. 59-60.