Mi è stato detto che HTML è un linguaggio di markup, C ++ è un linguaggio di programmazione, cosa potrebbe fare la differenza?

I miei amici di programmazione mi dicono sempre che HTML è un linguaggio di markup e C ++ è un linguaggio di programmazione. Quando chiedo loro qual è la differenza, non mi danno mai una risposta ragionevole.

Cosa potrebbe rendere una chiamata C ++ un linguaggio di programmazione e HTML no?

Un linguaggio di programmazione è una notazione progettata per passare istruzioni a una macchina. In base a tale definizione, sia C ++ che HTML sono linguaggi di programmazione, così come la notazione che Joseph Marie Jacquard usò nel 1801 per programmare i suoi telai .

Tuttavia, con la proliferazione di linguaggi utilizzati per strutturare e / o descrivere i dati, la definizione di un linguaggio di programmazione si è spostata per includere solo linguaggi in grado di esprimere algoritmi. Questa è la definizione più comune oggi ed esclude linguaggi come HTML o XML.

Al centro dell'attuale definizione c'è il concetto di completezza di Turing . La maggior parte dei linguaggi di programmazione sono completi di Turing e la completezza di Turing viene spesso citata come l'unica caratteristica critica che separa un linguaggio di programmazione da qualsiasi altro linguaggio del computer. Questo è abbastanza buono come regola generale, ma non del tutto accurato:

1. Alcuni linguaggi completi non Turing sono considerati linguaggi di programmazione, ad esempio Beneficenza .
2. Alcuni linguaggi che non sono generalmente considerati linguaggi di programmazione sono Turing completi, ad esempio XSLT .
3. La completezza di Turing da sola non dice molto sull'utilità di una lingua .

A seconda del contesto, è possibile selezionare qualsiasi definizione desiderata.

Modificare:

Sia ulteriormente noto, un'implementazione di una lingua non conferisce caratteristiche alla lingua stessa, ad esempio: le specifiche di una lingua possono definire un linguaggio completo turing, qualcuno potrebbe implementarlo a casaccio lasciando fuori completezza turing. Questa implementazione essendo non turing completa non significa tuttavia che il linguaggio stesso non sia completo (piuttosto significa probabilmente che l'implementazione non è conforme). I dettagli di una lingua e i dettagli di una particolare implementazione di una lingua devono essere riconosciuti come cose separate, per questo non è corretto definire una lingua interpretata o compilata ecc.

La frase "Lo so quando lo vedo" è un'espressione colloquiale in base alla quale un oratore tenta di classificare un fatto o un evento osservabile, sebbene la categoria sia soggettiva o priva di parametri chiaramente definiti. La frase fu notoriamente usata dal giudice della Corte Suprema degli Stati Uniti Potter Stewart per descrivere il suo test di soglia per l'oscenità in Jacobellis v. Ohio (1964).

- Articolo di Wikipedia "Lo so quando lo vedo"

Come l'oscenità, penso che tutti conosciamo un linguaggio di programmazione quando ne vediamo uno. Chiaramente l'OP fa, dal momento che hai già giudicato C ++ come un linguaggio di programmazione e HTML non lo è.

Allora, qual è esattamente l'obiettivo di perseguire una definizione formale? Yannis ha già dato una grande panoramica del perché la definizione più popolare, completezza di Turing, è errata: porta alla categorizzazione che sfidano il test "Lo so quando lo vedo".

Ti ho detto che qualsiasi definizione che puoi trovare porterà ad alcune lingue che tutti noi riteniamo non siano linguaggi di "programmazione" che saranno classificati come tali; o ad alcune lingue che tutti riteniamo essere "programmanti", le lingue saranno classificate come non così.

Perché non andare semplicemente con il tuo intestino? Uso una semplice euristica: un linguaggio di programmazione è un linguaggio il cui scopo principale, secondo me e secondo le mie osservazioni, è scrivere programmi. Non contrassegnare il contenuto. Non trasformare XML. Per scrivere programmi per scopi generici. Preferirei solo conoscerlo quando lo vedo piuttosto che cercare di inchiodare una definizione formale, e non vedo alcun valore genuino che può venire dal tentativo di tale definizione.

I linguaggi di markup riguardano principalmente il modo in cui le informazioni vengono visualizzate e in genere mancano nell'infrastruttura di programmazione di variabili, matematica, confronto, processo decisionale (se ... quindi), loop (per, mentre), ecc.

HTML da solo è statico; cioè, proprio come un elaboratore di testi, ha lo scopo di presentare le informazioni così come sono. Solo con l'aggiunta di una sorta di linguaggi di programmazione (di solito linguaggi di scripting come JavaScript, PHP, ecc.) Le pagine Web HTML possono avere un contenuto "mutevole". I linguaggi di scripting forniscono le possibilità di "programmazione" con variabili, matematica, confronti, processi decisionali, loop, ecc.

HTML è un linguaggio dichiarativo. Non fa molto da solo, descrive solo un documento e il suo contenuto (usando tag che hanno un significato semantico).

Il C ++ invece fa qualcosa. Definisce funzioni e classi, ma descrive anche come queste funzioni dovrebbero lavorare insieme, come i loro input e output siano collegati in modo significativo e come l'applicazione dovrebbe funzionare nel suo insieme.