Описание тега language-lawyer
По вопросам о тонкостях формальных или авторитетных спецификаций языков и сред программирования.
Типичные вопросы касаются пробелов между тем, "что обычно работает на практике" и "что на самом деле гарантирует спецификация", но проблемы с пониманием структуры спецификации также относятся к теме.
Используйте этот тег для вопросов, в которых вас интересует формальная спецификация определенного поведения на данном языке программирования, даже если в противном случае ваш вопрос может не иметь практического применения или если опубликованный код не имеет смысла в реальном приложении.
Всегда объединяйте этот тег с тегом языка программирования.