Proposal: Programming Language Design and Implementation
I saw a question about esolangs, which mentioned that
... Esoteric languages are still programming languages ...
But what are programming languages at all?
I remember some internet debate on whether SQL/HTML/Markdown are programming languages, because they're not really used to express logic or procedures like esolang/low-code tools/traditional programming languages like C/Java do. One may argue that LaTeX is Turing-complete, hence can be used to do something like C/Java, but it is mainly used for producing a PDF, we may also consider it a format for typesetting, like Markdown.
There are also configuration formats like json, ini, yml, toml, dhall, etc. -- some of them even have a type system!
Are we encouraging discussion on these "debatably-programming" languages?