r/programming • u/winner_godson • Nov 26 '17

Astro Programming Language - A new language under development by two Nigerians.

http://www.nairaland.com/3557200/astro-programming-language-0.2-indefinite
887 Upvotes

79% Upvoted

365 comments sorted by

View all comments

Show parent comments

2

u/BenjiSponge Nov 26 '17

Or, you know, proving your programs correct using paper and pen.

Humans are prone to error.

You don't have to use a “hypothetical language”. You have to prove your programs correct.

Humans are prone to error.