Сегодня существует множество различных руководств и стандартов (внутренних и внешних) для кодирования. Есть также некоторые инструменты, которые обеспечивают соблюдение правил кодирования.
Интересно, есть ли языки, помогающие сформулировать руководящие принципы кодирования, которые инструменты могли бы использовать?
Я полагаю, что они должны зависеть от языка и основываться на других метаязыках, таких как Форма Бэкуса-Наура . Так что правило «оператор goto не разрешен» можно описать так:
rule_goto_statement_not_allowed ::= statement_delimiter + "goto" +
statement_delimiter + label + ";"
rule_goto_statement_not_allowed_error_message ::= line + "goto not allowed!"