어셈블리어가 나왔을 때 노이만은 그것을 만든 자신의 제자에게 성능 낭비라며 화를 냈다.
C가 나왔을 때 어셈블리어 개발자들은 거들떠보지도 않았다.
자바가 나왔을 때 C 개발자들은 비난했다.
자바스크립트가 나왔을 때 자바 개발자들은 조롱했다.
HTML이 나왔을 때 자바스크립트 개발자들은 프로그래밍 언어가 아니라고 했다.
사람들은 HTML이 프로그래밍 언어가 아니라고 하지만 대부분은 그 이유를 알지 못한다.
위키백과를 포함한 다양한 자료에서 프로그래밍 언어는 튜링 완전이면 된다고 설명한다.
HTML은 튜링 기계에서 동작하는 것을 구현할 수 있으므로 프로그래밍 언어이다.
HTML은 프로그래밍 언어가 아니라 마크업 언어라고 하는 것은 HTMX 개발자들을 경시하는 표현이며 동시에 자신의 언어를 내면적으로 우월화시키려는 시도이다.
미래에는 AI 등의 기술 발달로 인해 영어가 튜링 완전하게 되어 프로그래밍 언어의 범위 안에 들어가게 될 것이다.
그 어떠한 언어도 개발에 있어서 무시될 수 없고 모든 언어가 각자의 존중받을만한 가치를 지니고 있다.
라는 비슷한 글을 어디서 봐서 맛소금을 추가해봤다.
C가 나왔을때 어셈 개발자들이 거들떠보지 않았는가? -> C랑 유닉스 찬양하면서 전부 갈아탐
HTML이 나왔을때 js 개발자들이 프로그래밍 언어가 아니라고 했는가? -> HTML이 먼저 나옴ㅋㅋㅋ 애초에 js 개발 목적이 HTML기반이었던 웹에서 스크립팅용
프로그래밍 언어는 튜링 완전하다 -> 튜링 완전하다고 전부 프로그래밍 언어가 아닌건 명제 배웠으면 상식임
HTML은 튜링 완전한가? -> 아님
HTMX는 HTML인가? -> 아님. HTMX가 HTML이면 C++도 C라고 불러야됨
HTML이 프로그래밍 언어가 아니면 가치가 없는가? -> 아님
In computability theory, a system of data-manipulation rules (such as a model of computation, a computer's instruction set, a programming language, or a cellular automaton) is said to be Turing-complete or computationally universal if it can be used to simulate any Turing machine (devised by English mathematician and computer scientist Alan Turing). This means that this system is able to recognize or decide other data-manipulation rule sets. Turing completeness is used as a way to express the power of such a data-manipulation rule set. Virtually all programming languages today are Turing-complete.
A related concept is that of Turing equivalence – two computers P and Q are called equivalent if P can simulate Q and Q can simulate P. The Church–Turing thesis conjectures that any function whose values can be computed by an algorithm can be computed by a Turing machine, and therefore that if any real-world computer can simulate a Turing machine, it is Turing equivalent to a Turing machine. A universal Turing machine can be used to simulate any Turing machine and by extension the computational aspects of any possible real-world computer.
To show that something is Turing-complete, it is enough to show that it can be used to simulate some Turing-complete system. No physical system can have infinite memory, but if the limitation of finite memory is ignored, most programming languages are otherwise Turing-complete.