169485 20260302165029.0 doi 10.1016/j.sysarc.2021.102039 sideral 123148 ART-2021-123148 eng Mosteo, A. R. (orcid)0000-0001-7853-3622 Exploring the boundaries of Ada syntax with functional-style iterators 2021 Functional-style iterators are present in many popular languages as a way of processing data in several connected steps, in a safe and readable manner. By contrast, Ada started providing general iterators only with its 2012 revision, in a way not directly intended for sequential composition. This paper presents a functional iterators library design inspired by the standard Rust iterators and the RxAda reactive extensions. This library is used as a case study for the limitations in implementing higher-kinded types in current Ada, and how currently proposed extensions for the 202X revision might change the situation. Access copy available to the general public Unrestricted info:eu-repo/grantAgreement/ES/DGA/T45-20R info:eu-repo/grantAgreement/ES/MICINN/PID2019-105390RB-I00 info:eu-repo/grantAgreement/ES/MINECO/DPI2016-76676-R info:eu-repo/grantAgreement/ES/UZ/CUD2019-05 info:eu-repo/grantAgreement/ES/UZ/CUD2020-14 info:eu-repo/semantics/openAccess by-nc-nd https://creativecommons.org/licenses/by-nc-nd/4.0/deed.es 5.836 2021 COMPUTER SCIENCE, SOFTWARE ENGINEERING 12 / 110 = 0.109 2021 Q1 T1 COMPUTER SCIENCE, HARDWARE & ARCHITECTURE 8 / 54 = 0.148 2021 Q1 T1 1.283 2021 Software 2021 Q1 Hardware and Architecture 2021 Q1 7.2 2021 info:eu-repo/semantics/article info:eu-repo/semantics/acceptedVersion Lorente, M. T. Universidad de Zaragoza (orcid)0000-0001-7765-2937 5007 520 Universidad de Zaragoza Dpto. Informát.Ingenie.Sistms. Área Ingen.Sistemas y Automát. 116 (2021), 102039 [8 pp] J. systems archit. Journal of Systems Architecture 1383-7621 323154 http://zaguan.unizar.es/record/169485/files/texto_completo.pdf Postprint 1527546 http://zaguan.unizar.es/record/169485/files/texto_completo.jpg?subformat=icon icon Postprint oai:zaguan.unizar.es:169485 articulos driver 2026-03-02-14:47:35 ARTICLE