15

Currently seems to be about 20% questions about the rigorous mathematical sense of semantics, and 80% questions about a specific language where the asker is concerned with correctly interpreting the language specification or reference.

I'm tempted to manually retag the second category with , but I'm not sure.

The tag wiki starts out pretty clear:

In programming language theory, semantics is the field concerned with the rigorous mathematical study of the meaning of programming languages.

Okay, sure, "mathematical" might not be the right word for whether copying an unintialized pointer counts as "access" for the purpose of alias analysis, but the second sentence elaborates:

It does so by evaluating the meaning of syntactically legal strings defined by a specific programming language, showing the computation involved.

The C spec definitely defines what it means for code to be syntactically legal, and also defines meaning in terms of computation performed by the abstract machine. Are questions about the interpretation of the C standard on-topic? (There is no such question in the tag now.) Is a question about method resolution in Rust? Is a formal introduction to Bash as a programming language? Block scope in ECMAScript? These are the highest voted questions in the tag.

Should the tag wiki be edited to exclude such questions, and the existing ones retagged / untagged? Or does usage dominate: should we accept that is applicable to questions such as the above, and make it a synonym for (or some other tag that's even better)?

11
  • 3
    What benefits would accrue from teasing out the specific intricacies of these two tags, if any? Commented Feb 21, 2021 at 17:55
  • 4
    That's just what I'd like to know. If the answer is "none", that seems like a clear indication that the tags are in fact synonyms.
    – trent
    Commented Feb 21, 2021 at 18:22
  • 1
    Concretely, I'd like to find that Rust question under language-lawyer when I search for it in a few years after having forgotten the details.
    – trent
    Commented Feb 21, 2021 at 18:23
  • that seems like a clear indication that the tags are in fact synonyms -- is a non-sequitur. Commented Feb 21, 2021 at 21:25
  • 4
    But is it a normative or non-normative non sequitur?
    – trent
    Commented Feb 22, 2021 at 0:17
  • 14
    If we had more formal semantics we'd need fewer language lawyers. The C standard is not an example of formal semantics, it is an example of informal semantics. Since the teaching & understanding of semantics in software culture is atrocious, it's understandable that someone would think that explicitly dealing with semantics is being "formal". It's lucky when someone even understands the notion of "semantics".
    – philipxy
    Commented Feb 22, 2021 at 1:17
  • 1
    @RobertHarvey the people who can answer (when tagged correctly) formal-semantics questions are a completely different and smaller group than those who can answer language-lawyer questions.
    – OrangeDog
    Commented Feb 22, 2021 at 10:08
  • 3
    Perhaps another good way to tell the differences is that formal-semanics would on-topic for Computer Science, but language-lawyer certainly wouldn't.
    – OrangeDog
    Commented Feb 22, 2021 at 10:09
  • 2
    @philipxy: That viewpoint is embraced by folks who think that the world is an orderly place, and that everything can be described logically. I abandoned that belief years ago. Commented Feb 22, 2021 at 16:12
  • @RobertHarvey A programming language is an artificial "world", and is already a formal notation, and certainly can be usefully formally--precisely & completely--defined. (I'm done.)
    – philipxy
    Commented Feb 22, 2021 at 22:59
  • Can't believe I've been around this long and had never come across the language-lawyer tag. Seems kind of bizarre that we have a tag named like that. Commented Feb 24, 2021 at 10:13

1 Answer 1

26

When I first posted this question I thought the tags were basically synonymous, but after thinking about it some I've changed my mind. is related to and , not language lawyering. The tag wiki is clear enough already and the volume of mistagged questions is low enough to do by hand.

Remove from the questions that don't relate to mathematical formalism, and selectively retag a fraction of those with (several questions fit neither tag). No further action is required.

3
  • 2
    And in those few languages that are specified using formal semantics, we might have questions where both tags apply :-)
    – Bergi
    Commented Feb 22, 2021 at 1:45
  • 3
    After reading the question, I was about to post an answer saying the very same thing as your answer. My take is that formal-semantics is a child tag under formal methods, whereas language-lawyer is about reading language standards in formal ways, when a practical use-case isn't necessarily present.
    – Lundin
    Commented Feb 22, 2021 at 15:20
  • Works for me. No other answers have been posted or seem likely, so I'm planning to accept this one but I'll take a stab at cleaning up formal-semantics now.
    – trent
    Commented Feb 22, 2021 at 19:50

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .