Exploring the boundaries of Ada syntax with functional-style iterators
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)

Factor impacto SCIMAGO: 1.283 - Software (Q1) - Hardware and Architecture (Q1)

Financiación: info:eu-repo/grantAgreement/ES/DGA/T45-20R
Financiación: info:eu-repo/grantAgreement/ES/MICINN/PID2019-105390RB-I00
Financiación: info:eu-repo/grantAgreement/ES/MINECO/DPI2016-76676-R
Financiación: info:eu-repo/grantAgreement/ES/UZ/CUD2019-05
Financiación: info:eu-repo/grantAgreement/ES/UZ/CUD2020-14
Tipo y forma: Article (PostPrint)
Área (Departamento): Área Ingen.Sistemas y Automát. (Dpto. Informát.Ingenie.Sistms.)

Creative Commons You must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use. You may not use the material for commercial purposes. If you remix, transform, or build upon the material, you may not distribute the modified material.


Exportado de SIDERAL (2026-03-02-14:47:35)


Visitas y descargas

Este artículo se encuentra en las siguientes colecciones:
Articles > Artículos por área > Ingeniería de Sistemas y Automática



 Record created 2026-03-02, last modified 2026-03-02


Postprint:
 PDF
Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)