logoalt Hacker News

ramozyesterday at 5:50 PM2 repliesview on HN

yes, am familiar with the "code is spec" trope.

Shame us all for moving away from something so perfect, precise, and that "doesn't have edge cases."

Hey - if you invent a programming language that can be used in such a way and create guaranteed deterministic behavior based on expressed desires as simple as natural language - ill pay a $200/m subscription for it.


Replies

20kyesterday at 5:55 PM

As people are discovering, natural language is insufficiently precise to be able to specify edge cases. Any language precise enough to be formally verified against is a programming language

show 1 reply
giancarlostoroyesterday at 7:57 PM

XML will do it very well.