Ada Programming Language

Comments discuss the Ada programming language's strengths for safety-critical systems, comparisons to C and Rust, advocacy for its use with SPARK, and reasons for its limited adoption.

➡️ Stable 0.8x Programming Languages

3,754

Comments

Years Active

Top Authors

#7298

Topic ID

Activity Over Time

2007

2008

2009

2010

2011

2012

2013

2014

240

2015

168

2016

188

2017

240

2018

177

2019

278

2020

361

2021

491

2022

357

2023

254

2024

252

2025

477

2026

Top Contributors

pjmlp (296) johnisgood (92) Jtsummers (80) nickpsecurity (78) touisteur (63)

Keywords

US LOT AI SPARK HN adacore.com FSF GPL www.ghs GCC ada spark rust language programming low level written compiler syntax proficient

Sample Comments

Cshelton • Aug 3, 2018 • View on HN

Have they used/possibly still use Ada?

johnisgood • May 6, 2025 • View on HN

So why are we not using Ada / SPARK?

adrianN • Apr 12, 2016 • View on HN

They should be using Ada instead of C, amiright /s

johnisgood • Sep 3, 2020 • View on HN

My comments on Ada: https://news.ycombinator.com/item?id=23808305

jayp1418 • Feb 10, 2023 • View on HN

I wonder why people don't use Ada Programming Language also ? It has Spark subset for formal verification also

MisterTea • Dec 7, 2017 • View on HN

Why don't more people use Ada?

Rochus • Aug 31, 2024 • View on HN

Didn't they announce hat they use Ada and SPARK for such things some years ago?

johnisgood • Aug 24, 2022 • View on HN

Is it possible to use Ada instead of Rust?

nickpsecurity • May 31, 2015 • View on HN

Good article. It was indeed too far ahead of its time. That's despite compelling benefits in the field it's designed for:http://www.adacore.com/knowledge/technical-papers/safe-secur...Interestingly, languages such as Rust are still trying to accomplish the combination of efficiency and performance Ada has been doing for decades. Meanwh

pjmlp • Sep 1, 2014 • View on HN

It seems you never programmed in Ada...