Hacker News new | ask | show | jobs
by Kristine1975 3861 days ago
I'm hoping for SPARK Ada or something similar: https://en.wikipedia.org/wiki/SPARK_(programming_language)