Recent, din ce în ce mai des, diverse resurse de Internet aranjează holivara pe tema: este HTML limba de programare sau nu. Ca de obicei, argumentele în favoarea ambelor puncte de vedere conduc la o sumă considerabilă, deci am decis să pun capăt acestei dispute inutile.
Definiția limbajului de programare.
Limba de programare este un sistem formal de semn. destinate înregistrării programelor de calculator. Limba de programare definește un set de reguli lexicale, sintactice și semantice care definesc aspectul programului și al acțiunilor. pe care interpretul (computerul) îl va exercita sub controlul său.
Așa se spune în Wikipedia. și cele mai multe alte resurse fie utilizează pe deplin această definiție, fie o exprimă în mod liber fără pierderea sensului. Să analizăm în detaliu părțile componente ale definiției unui IP:
Într-o limbă mai simplă, aceasta poate fi stabilită după cum urmează:
Limbajul de programare - o multitudine de predeterminate, uniform și executor clar (citește: interpret / compilator / calculator / programator) instrucțiuni destinate înregistrării în mod succesiv, în scopul executării de către un dispozitiv care este parte a calculatorului. De asemenea, limba de programare trebuie să aibă o serie de caracteristici: trebuie să existe un număr limitat de instrucțiuni, iar toți trebuie să știe; Instrucțiunile ar trebui să fie construite într-un anumit mod pentru a obține anumite rezultate și fiecare ar trebui să știe despre acest lucru; trebuie să existe reguli de scriere a instrucțiunilor și fiecare să le cunoască; fiecare construcție a limbii trebuie să coreleze fără echivoc ceea ce este scris cu ceea ce era necesar să desemneze.
E atât de greoaie și urâtă, dar fără cuvinte complicate. Vom reveni la această definiție puțin mai târziu.
Tipuri de limbi de programare.
Deseori, folosiți și o diviziune în limbi de nivel scăzut și de nivel înalt. Aceste tipuri diferă în "grosimea stratului intermediar" între procesor și programator. În cuvinte simple - în limbi de nivel scăzut, fiecare instrucțiune este un singur sau un număr mic de instrucțiuni procesor, și într-un limbaj de nivel înalt, fiecare instrucțiune este un set mare de instrucțiuni procesor.
Să luăm în considerare definițiile diferitelor tipuri în conformitate cu Wikipedia.
- Programarea orientată spre aspect (AOP) este o paradigmă de programare bazată pe ideea de separare a funcționalității pentru a îmbunătăți defalcarea unui program în module.
- metodologia de dezvoltare de software, care se bazează pe o idee a programului ca o structură ierarhică a blocurilor - structurate de programare. Se propune în '70 ai secolului XX E. Dijkstra, dezvoltat și completat de N. Wirth.
- Programarea procedurală - programare în limbaje imperative în care situațiile sunt executate secvențial, puteți colecta în subrutina, care este mai mare de unități integrale de cod, folosind mecanismele limbii [1].
- Programarea logică - paradigmă de programare bazată pe demonstrarea teoremei automate, și o secțiune de matematică discretă, care studiază principiile de inferență logice pe baza informațiilor furnizate fapte și reguli de inferență. Programarea logică se bazează pe teoria și aparatul logicii matematice folosind principiile matematice ale rezoluțiilor.
- Object-oriented programming (OOP) este o paradigmă de programare în care conceptele de obiecte și clase sunt concepte de bază. În cazul limbilor cu prototip, obiectele prototip sunt folosite în locul claselor.
- Programarea funcțională - secțiunea matematică discretă și paradigmă de programare în care protsessvychisleniya tratate ca valori de calcul ale funcțiilor, în sensul matematic al acesteia din urmă (spre deosebire de funcții ca subrutină într-o programare procedurală).
- Compararea limbaje de programare multi-paradigmă - de regulă, un limbaj de programare, care a fost special conceput ca o programare instrumentmultiparadigmalnogo, adică posibilități picturale care inițial trebuia să moștenească din mai multe limbi, de multe ori fără legătură.
- limbaj de programare Ezoteric - un limbaj de programare conceput pentru a studia limitele posibile de proiectare limbaj de programare, pentru a dovedi potential realizabile unele idei (așa-numita „dovada conceptului“, dovada în limba engleză a conceptului.), Ca o operă de artă software-ului [en], sau ca glumele (umorul calculatorului).
Abordarea imperativă și declarativă
Toate limbile de programare sunt împărțite în două grupe: declarative și imperative.
Un program într-un limbaj de programare imperativ este, dintr-un punct de vedere matematic, o soluție generală la sarcina la îndemână, cu alte cuvinte răspunsul la întrebarea "cum să procedăm?". Aceasta este secvența de comenzi pe care trebuie să le îndeplinească performanții.
Programul este un limbaj de programare declarativ este o combinație a unei formalizate, ca parte a sarcinii limbaj de programare și toate cele necesare pentru teoria sa decizie, pur și simplu pune, răspunsul la întrebarea „ce să fac?“. O secvență specifică de operații este efectuată de compilator sau, mai des, de un interpret - un program care execută codul de program în timp real, fără a-l converti în codul mașinii.
Completitudine cu privire la Turing.
În teoria computabilității, interpretul (setul de elemente computationale) se numește turing-completă. dacă se poate realiza o funcție computată pe ea. Cu alte cuvinte, pentru orice funcție calculabilă există calculează elementul său (de exemplu, o mașină Turing), sau executor de program, și toate funcțiile, calcularea unei multitudini de calculatoare sunt funcții calculabile (eventual cu o anumită intrare de codificare și date de ieșire).
Numele a venit de la Alan Turing. care a venit cu un calculator abstract - o mașină Turing și a dat o definiție a setului de funcții calculat prin intermediul mașinilor Turing.
Cu alte cuvinte, limba este completă în Turing. dacă orice funcție computată de care aveți nevoie poate fi scrisă în această limbă și rezolvată de executorul său.
Există și limbi non-Turing, dar deoarece ele sunt create în principal în scopuri academice, acestea sunt puțin cunoscute și nu sunt utilizate pe scară largă.
Să răspundem la câteva întrebări:
Este HTML limbajul?
Da. Are proprietăți inerente limbilor.
HTML corespunde definiției unui limbaj de programare?
HTML - este limba Turing-completă?
Nu, nu este. Pentru a spune pur și simplu, HTML poate face doar un set limitat de acțiuni interpretate de browser.
Este posibil să sunați HTML limba de programare?
În funcție de context - da, puteți. Dar ar trebui să ne amintim că cu același succes se pot numi JA și CSS și XML și SQL. Cu alte cuvinte, aceste limbi pot fi numite în mod oficial limbi de programare, dar numai cu un anumit grad de scepticism și cu înțelegerea deplină a faptului că aceste limbi nu îndeplinesc toate cerințele.
Este HTML limbajul de programare?
Nu, nu este. Sarcina limbajului de programare obișnuit în prelucrarea datelor și sarcina HTML în cartografiere de date. Nu este un limbaj de programare și este imposibil de efectuat calcule pe el.
Concluzie: Putem numi HTML limba de programare numai în contextul controversei formale. De fapt, este limbajul de marcare a hipertextului și nu mai mult. Dar cititorul ar trebui să înțeleagă că, dacă nu există standarde clar definite, nimeni nu interzice să facă o limbă identică în sintaxa cu HTML, dar interpretată într-un mod complet diferit, astfel încât să fie completă în Turing.
Articole similare
Trimiteți-le prietenilor: