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.
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.
compsciwould 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.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…
I, too, would love me a
plttag. It would nicely complementformalmethods.What this tells me is I need to find and post more
compsciarticles that aren’t also about plt.Yes please.
(I’m a computer scientist by day)
I’d love a specific PLT tag.
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?
Anything, really.
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?Here are some highly-rated Lobsters posts about
compscibut notplt:Here are some highly rated posts where
pltmay be a good fit:The way I see it,
practices,programming, andcompsciare very broad catch-alls for cases where we don’t have enough density to make a dedicated subtopic.python,networking, andaiare all subtopics ofprogramming.compilersandformalmethodsare subtopics ofcompsci. I think there’s probably more people interested in PLT than Formal Methods here, sopltwould be a useful subtopic.I’ve added a plt tag with the description “Programming language theory, types, design”.
I was actually looking for such a tag recently, and ended up using the
compilerstag, but found that not everything I was interested in was under that tag (some was underprogramming, some undercompsci. A dedicated tag for programming language theory would have been nice.pltfeels pretty obscure as an abbreviation. I don’t have a convincing longer suggestion, but maybelangtheoryorlanguagetheory?‘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’.