000169485 001__ 169485 000169485 005__ 20260302165029.0 000169485 0247_ $$2doi$$a10.1016/j.sysarc.2021.102039 000169485 0248_ $$2sideral$$a123148 000169485 037__ $$aART-2021-123148 000169485 041__ $$aeng 000169485 100__ $$0(orcid)0000-0001-7853-3622$$aMosteo, A. R. 000169485 245__ $$aExploring the boundaries of Ada syntax with functional-style iterators 000169485 260__ $$c2021 000169485 5060_ $$aAccess copy available to the general public$$fUnrestricted 000169485 5203_ $$aFunctional-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. 000169485 536__ $$9info:eu-repo/grantAgreement/ES/DGA/T45-20R$$9info:eu-repo/grantAgreement/ES/MICINN/PID2019-105390RB-I00$$9info:eu-repo/grantAgreement/ES/MINECO/DPI2016-76676-R$$9info:eu-repo/grantAgreement/ES/UZ/CUD2019-05$$9info:eu-repo/grantAgreement/ES/UZ/CUD2020-14 000169485 540__ $$9info:eu-repo/semantics/openAccess$$aby-nc-nd$$uhttps://creativecommons.org/licenses/by-nc-nd/4.0/deed.es 000169485 590__ $$a5.836$$b2021 000169485 591__ $$aCOMPUTER SCIENCE, SOFTWARE ENGINEERING$$b12 / 110 = 0.109$$c2021$$dQ1$$eT1 000169485 591__ $$aCOMPUTER SCIENCE, HARDWARE & ARCHITECTURE$$b8 / 54 = 0.148$$c2021$$dQ1$$eT1 000169485 592__ $$a1.283$$b2021 000169485 593__ $$aSoftware$$c2021$$dQ1 000169485 593__ $$aHardware and Architecture$$c2021$$dQ1 000169485 594__ $$a7.2$$b2021 000169485 655_4 $$ainfo:eu-repo/semantics/article$$vinfo:eu-repo/semantics/acceptedVersion 000169485 700__ $$0(orcid)0000-0001-7765-2937$$aLorente, M. T.$$uUniversidad de Zaragoza 000169485 7102_ $$15007$$2520$$aUniversidad de Zaragoza$$bDpto. Informát.Ingenie.Sistms.$$cÁrea Ingen.Sistemas y Automát. 000169485 773__ $$g116 (2021), 102039 [8 pp]$$pJ. systems archit.$$tJournal of Systems Architecture$$x1383-7621 000169485 8564_ $$s323154$$uhttps://zaguan.unizar.es/record/169485/files/texto_completo.pdf$$yPostprint 000169485 8564_ $$s1527546$$uhttps://zaguan.unizar.es/record/169485/files/texto_completo.jpg?subformat=icon$$xicon$$yPostprint 000169485 909CO $$ooai:zaguan.unizar.es:169485$$particulos$$pdriver 000169485 951__ $$a2026-03-02-14:47:35 000169485 980__ $$aARTICLE