Resumen: 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. Idioma: Inglés DOI: 10.1016/j.sysarc.2021.102039 Año: 2021 Publicado en: Journal of Systems Architecture 116 (2021), 102039 [8 pp] ISSN: 1383-7621 Factor impacto JCR: 5.836 (2021) Categ. JCR: COMPUTER SCIENCE, SOFTWARE ENGINEERING rank: 12 / 110 = 0.109 (2021) - Q1 - T1 Categ. JCR: COMPUTER SCIENCE, HARDWARE & ARCHITECTURE rank: 8 / 54 = 0.148 (2021) - Q1 - T1 Factor impacto CITESCORE: 7.2 - Computer Science (Q1)