Hacker News new | ask | show | jobs
by dozzie 2900 days ago
Ada?
1 comments
ansible 2900 days ago
Probably not Ada itself, but I'll a little more closely into SPARK, which is based on a subset of Ada and is intended for high assurance applications.

https://en.wikipedia.org/wiki/SPARK_(programming_language)

link