AdaCore/ada-spark-rfcs
View on GitHub ↗ ★ 70
Platform to submit RFCs for the Ada & SPARK languages
6 mentions on Hacker News by 6 people: 0 stories, 6 comments · first 2021-10-13 · latest 2026-08-03
20082026
-
…in destructors closer to the C++ way. They're currently supported in the GNAT (GCC Ada) compiler. https://github.com/AdaCore/ada-spark-rfcs/blob/master/featur... https://github.com/AdaCore/ada-spark-rfcs/blob/master/featur...…
comment by MaxBarraclough · 2026-08-03 · in Rust project goals: Immobile types and guaranteed destructors -
…ahead of what is available publicly, why does this page say that pattern matching is in production: https://github.com/AdaCore/ada-spark-rfcs/blob/master/featur... While as far as I can tell, it is not part of normal, not-SPARK Ada, and…
comment by curious9999_2 · 2025-10-13 · in C++ Reflection and Qt MOC -
Ada might be getting pattern matching soon too: https://github.com/AdaCore/ada-spark-rfcs/blob/master/protot...
comment by docandrew · 2023-03-06 · in Building a new functional programming language -
…they do add syntax sugar and new features on a regular basis. You can submit language rfcs here: https://github.com/AdaCore/ada-spark-rfcs For an example of the latest additions : https://blog.adacore.com/ada-202x-support-in-gnat As to the…
comment by Agingcoder · 2022-02-10 · in Lessons from Learning Ada in 2021 -
…There's also a proposal to add format strings to the language: https://github.com/AdaCore/ada-spark-rfcs/pull/77
comment by synack · 2021-10-13 · in It's Ada Lovelace Day Learn the Ada Programming Language in 2021