1. 28

The alternative, right now, is the compilers tag, which seems wrong when submitting a post about something very theoretical about types, especially as opposed to a post about optimizing code generation, or tree shaking.

  1.  

  2. 23

    compsci would be appropriate. If there’s a significant number of people reading about compsci who don’t want to read about plt or vice-versa, speak now or forever hold your whitepapers.

    1. 3

      I’d like to see compsci used for something that is theoretically focused but used in conjunction with a “modifier”, like ai, or networking, or plt, or algorithms. But maybe I just think of tags differently than others…

      1. 3

        I, too, would love me a plt tag. It would nicely complement formalmethods.

        1. 3

          What this tells me is I need to find and post more compsci articles that aren’t also about plt.

          1. 3

            Yes please.

            (I’m a computer scientist by day)

            1. 2

              I’d love a specific PLT tag.

              1. 1

                For clarity, do you mean reply to this post to say ‘yes please’ (in which case: ‘yes please’), or do you mean reply and/or upvote the OP?

                1. 1

                  Anything, really.

                2. 1

                  There have been a couple people people asking for this - if you see this, could you expand on why you want a tag that’s specifically separate from compsci?

                  1. 7

                    Here are some highly-rated Lobsters posts about compsci but not plt:

                    Here are some highly rated posts where plt may be a good fit:

                    The way I see it, practices, programming, and compsci are very broad catch-alls for cases where we don’t have enough density to make a dedicated subtopic. python, networking, and ai are all subtopics of programming. compilers and formalmethods are subtopics of compsci. I think there’s probably more people interested in PLT than Formal Methods here, so plt would be a useful subtopic.

                    1. 3

                      I’ve added a plt tag with the description “Programming language theory, types, design”.

                3. 7

                  I was actually looking for such a tag recently, and ended up using the compilers tag, but found that not everything I was interested in was under that tag (some was under programming, some under compsci. A dedicated tag for programming language theory would have been nice.

                  1. 4

                    plt feels pretty obscure as an abbreviation. I don’t have a convincing longer suggestion, but maybe langtheory or languagetheory?

                    1. 4

                      ‘plt’ pretty much is the standard abbreviation though. In the ‘submit’ and ‘filter’ sections and in tag tooltips we can have it spelled out that this is for ‘programming language theory’.