doi:10.1016/j.sysarc.2021.102039engMosteo, A. R.Lorente, M. T.Exploring the boundaries of Ada syntax with functional-style iteratorsART-2021-123148Functional-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.2021http://zaguan.unizar.es/record/16948510.1016/j.sysarc.2021.102039http://zaguan.unizar.es/record/169485oai:zaguan.unizar.es:169485info:eu-repo/grantAgreement/ES/DGA/T45-20Rinfo:eu-repo/grantAgreement/ES/MICINN/PID2019-105390RB-I00info:eu-repo/grantAgreement/ES/MINECO/DPI2016-76676-Rinfo:eu-repo/grantAgreement/ES/UZ/CUD2019-05info:eu-repo/grantAgreement/ES/UZ/CUD2020-14Journal of Systems Architecture 116 (2021), 102039 [8 pp]by-nc-ndhttps://creativecommons.org/licenses/by-nc-nd/4.0/deed.esinfo:eu-repo/semantics/openAccess