So, we don’t currently have a tag for programming language stuff.
I’d like to suggest the creation of a
PLT tag to cover things that fall into one or more of:
compilers is great when talking about compiled languages, but falls short when a language isn’t compiled.
programming feels too broad, and I could see articles about, say, graphics programming or embedded programming being lumped in with discussion of ML-family stuff.
math is a little too numerically oriented for discussions of things like Lambda calculus.
Stories that would benefit
compscialso feels too broad, though it is closer to the academic nature of things.
Basically, I think it would help for discovery in cases where an idea is about language design but we don’t want to hide it in the ghetto of a particular language–say, ignoring work on relevant to typing because it involved Rust or Typescript and user isn’t looking for things tagged