Exploring the boundaries of Ada syntax with functional-style iterators

Mosteo, A. R. ; Lorente, M. T. (Universidad de Zaragoza)

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.)