We've got various answers strewn across meta that tell different stories:
On the standard loopholes, we disallow answers that aren't programming languages. This appears to be the most definitive answer of the lot. It has a vote count of
However, on a question that asks "Should answers to fixed-output challenges be written in a programming language?", the top answer says that we shouldn't "generally disallow solutions written in non-programming languages". It's vote count is currently
On yet another post, we are asking what programming languages are, and xnor says that "For this purpose, I think that markup languages and limited output languages should be treated the same as programming languages". Vote count of
On that same question, the leading answer provides a very solid definition of a programming language, which excludes languages which can't represent natural numbers or tuples, add two natual numbers, determine primality of a natural number, and operate on either a decision model (accept or reject an input based on rules in the program, a la Prolog) or a transformation model (transform an input into an output using the algorithm defined in the program, a la C) (vote count
+57/-4). A remark from this answer:
This definition excludes HQ9+. I don't consider this a problem either, for two reasons:
It was created as a joke rather than a language, and has ceased to be funny in the context of this site.
I think that every interesting problem which HQ9+ can "solve" has already been asked, so I don't think this will exclude any interesting answers in the future.
Without discussing what a programming language is, do we allow non-programming languages on any challenge (assuming it can answer the challenge)?
Regardless of whether the answer is Yes/No, can we also please edit/remove answers that conflict with the official view we hold?