{"id":44207006,"user":"brookst","time":1749264345,"time_ago":"6 months ago","type":"comment","content":"

Writing specs","comments":[{"id":44208192,"user":"auggierose","time":1749283573,"time_ago":"6 months ago","type":"comment","content":"

Exactly my thought. This is just natural language as a specification language.","comments":[{"id":44212950,"user":"kiitos","time":1749333314,"time_ago":"6 months ago","type":"comment","content":"

...as an ambiguous and inadequately-specified specification language.","comments":[{"id":44215057,"user":"auggierose","time":1749364956,"time_ago":"6 months ago","type":"comment","content":"

In the end, every specification is specified via natural language, this is just where the buck stops. All math books are written in natural language, even the ones about specification languages.","comments":[{"id":44218891,"user":"kiitos","time":1749409279,"time_ago":"6 months ago","type":"comment","content":"

Huh? Is ABNF a "natural language"? Is the Go language spec a "natural language"?","comments":[{"id":44219667,"user":"auggierose","time":1749418973,"time_ago":"6 months ago","type":"comment","content":"

How is ABNF itself specified? Yes, via natural language. And the Go language spec is written in natural language, too, you can check for yourself: https://go.dev/ref/spec","comments":[{"id":44219710,"user":"kiitos","time":1749419554,"time_ago":"6 months ago","type":"comment","content":"

ABNF itself is specified with a well-defined grammar and syntax...","comments":[{"id":44222597,"user":"auggierose","time":1749459935,"time_ago":"6 months ago","type":"comment","content":"

Yes, but the spec is still done in natural language: https://www.rfc-editor.org/rfc/rfc5234

Just like any other RFC.","comments":[],"comments_count":0,"level":6,"url":"item?id=44222597"}],"comments_count":1,"level":5,"url":"item?id=44219710"}],"comments_count":2,"level":4,"url":"item?id=44219667"}],"comments_count":3,"level":3,"url":"item?id=44218891"}],"comments_count":4,"level":2,"url":"item?id=44215057"}],"comments_count":5,"level":1,"url":"item?id=44212950"}],"comments_count":6,"level":0,"url":"item?id=44208192"}],"comments_count":7,"url":"item?id=44207006"}

Comment by brookst