Sommario
La richiesta di applicazioni web sempre pi`u interattive e sofisticate `e cresciu- ta enormemente negli ultimi anni.
A dispetto di questa crescente richiesta, per`o, la programmazione web `e an- cora immatura, costosa ed incline agli errori.
Lo sviluppo di strumenti che permettano di programmare in maniera sem- plice, efficiente e sicura `e cruciale per l’evoluzione stessa del web.
In questa tesi ci si `e concentrati sugli aspetti relativi alla trasformazione si- cura di documenti XML (XHTML), che costituiscono il cuore stesso della programmazione web.
Oggi sono disponibili linguaggi come XDuce che, oltre a fornire costrutti linguistici di alto livello per decomporre e trasformare dinamicamente docu- menti XML, definiscono un sistema di tipi forte, capace di identificare molti errori gi`a a tempo di compilazione.
Purtroppo, l’interprete per XDuce non `e presente in nessun browser e diffi- cilmente lo sar`a in futuro.
Lo scopo del compilatore XDuce2Js `e quello di permettere ad un program- matore web di scrivere il codice dell’applicazione in XDuce, verificare la cor- rettezza con il type checker del linguaggio e poi compilarlo in Javascript in maniera da poterlo eseguire su qualunque browser.