46 ms·
It feels like you may have misunderstood my purpose. My point was not that HTML should be denigrated from the status of programming language where Coq is a prog
by halosghost 11y ago
It feels like you may have misunderstood my purpose. My point was not that HTML should be denigrated from the status of programming language where Coq is a programming language. My point was that the line is blurry (I think you and I agree on this), and that it is not a given that a “programming language” is necessarily Turing complete.
- brudgers 11y agoIt feels like you may have considered my reply an argument rather than a riff on your observation that Coq gets props as a programming language. When I see a programming language that comes with an infinite tape, I'll take the idea of Turing Completeness as a necessary condition for a programming language more seriously. My point is that excluding HTML from the family of programming languages is a social distinction. And mentioning Turing Completeness is usually a way of cutting off conversation not opening it up.
- halosghost 11y agoAhh, I must have misread; it seems you and I are on exactly the same page :)