Discussione:HTML: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Riga 51:
::::::::{{fuori crono}} @Soujak la semantica operazionale è un sottoinsieme della semantica. Ho trovato una pubblicazione che indica la semantica operazionale come requisito importante ma non necessario per un linguaggio di programmazione. Inoltre, non è detto che non sia codificabile anche per l'html.
:::::::::{{fuori crono}} @151.100.58.8 La prima affermazione è vera (ci sono diversi tipi di semantiche), la seconda non credo proprio (la semantica di HTML non è nemmeno matematicamente formalizzata, cf. [http://www.w3.org/TR/html/dom.html#dom ''HTML5, §3 Semantics, structure, and APIs of HTML documents'']). Ma pure imaginassimo di disporre di una semantica formale di HTML, operazionale o meno, ci renderemmo conto che essa è banale e priva di significato. Infatti nel caso operazionale ci sarebbe un'unica transizione possibile per ogni costrutto sintattico (a causa dell'assenza di costrutti condizionali) e ogni sequenza di transizioni sarebbe di lunghezza finita e di taglia lineare rispetto al numero di elementi HTML (a causa dell'assenza di iterazione o ricorsione). Nel caso denotazionale ogni documento HTML sarebbe probabilmente rappresentato dalla stessa unica funzione identità. In altre parole, se HTML è un linguaggio di programmazione, ci può scrivere solo un programma: la formattazione. --[[Utente:Soujak|SoujaK]] ([[Discussioni utente:Soujak|msg]]) 15:31, 1 dic 2014 (CET)
::::::::::{{fuori crono}} @Soujak quanto hai scritto è il mio asserto: html è un linguaggio di programmazione con lo scopo esclusivo di generare passivamente output. Ti dirò di più, la stessa definizione di linguaggio di programmazione è largamente dibattuta in ambito scientifico, pertanto non avrebbe nemmeno senso indicare se html potrebbe o meno ricadere in tale categoria. Avete comunque trovato 2 testi che si prendono la responsabilità in tal senso e non posso che prenderne atto.
::::@Rotpunkt nel collegamento 8 della pagina (Thomas Powell, HTML & XHTML: the complete reference, McGraw-Hill, 2003, p. 25) viene citata una frase «HTML is not a programming language.». Ho controllato il testo online e non mi risulta. Il collegamento 9 fa riferimento ad un parere personale (tratto da un blog) e non ad una pubblicazione di qualsivoglia tipo. Posso rimuovere autonomamente i riferimenti?
| |||