I wonder, is this not a prime use case for Ada or even SPARK (the provable sub s... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

MarcusE1W on Feb 20, 2021 | parent | context | favorite | on: The open source flight code that the NASA Mars dro...

I wonder, is this not a prime use case for Ada or even SPARK (the provable sub set of Ada) ?

You definitely can use C++ as well, but in a project like this, what would be the reasons not to use Ada?

jki275 on Feb 21, 2021 [–]

It's old and nobody uses it anymore?

Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact