2 ms·
When I was reading the Ada Reference Manual[1], I immediately recognized this kind of syntax. I didn't actually know what it was called, but it's interesting t
by ajdude 3y ago
When I was reading the Ada Reference Manual[1], I immediately recognized this kind of syntax. I didn't actually know what it was called, but it's interesting to see it in practical use. The whole language is defined in that kind of notation.
[1] For example: https://ada-lang.io/docs/arm/AA-3/AA-3.7#syntax https://ada-lang.io/docs/arm/AA-3/AA-3.7#syntax
- Jtsummers 3y agohttp://www.ada-auth.org/standards/22rm/html/RM-1-1-4.html http://www.ada-auth.org/standards/22rm/html/RM-1-1-4.html The Ada Reference Manual specifies the notation they use. They're using a variant of Backus-Naur Form and they describe their particular variant in the section I linked above.