This question on the main site is stated as being well within the realm of programming language theory. However, it has a -2 score and votes to close. Is it within scope, and in general are we to admit as reasonable questions from the area of compiler design and PL theory ?
I would like to point out that I do not think that the issue has been solved at all, provided that we want to make the theory of programming languages in scope of the website.
I do not know how closing votes work (because my rep is below 500 and I have never voted to close a question), but the question page clearly says that the question was closed because it was off topic and because questions on this website were expected to generally relate to Theoretical Computer Science (suggesting that that question did not), which is a bogus reason to close that question in my opinion. Unfortunately, this may well be enough for people working on programming languages to turn their back on the website, although I am not one of them and I can only imagine.
I do not know what to do to remedy the situation. I added a comment to the question, but I doubt that it matters.
Jeff Atwood of Stack Overflow closed the Area 51 proposal Compiler Design on Oct. 1 on the ground that it was part of Stack Overflow. (He explained that it was a mistake that they did not close it earlier.)
Before it was closed, it had been “on hold,” and it had started a discussion whether the proposal was a duplicate of Stack Overflow and/or CSTheory. The consensus in the discussion seems to be that questions about compiler design will be closed on our website. I cannot tell that that assessment is correct or not, but at least it tells us how some people view us. I do not know if it is a good thing.