La preferenza per la digitazione dinamica e statica è in gran parte una questione di gusti e diverse persone li trovano più o meno adatti in diverse situazioni.
La mia domanda è, sarebbe tecnicamente possibile avere un'alternativa tipizzata staticamente a JavaScript per l'aumento della pagina Web sul lato client ecc.?
Non c'è certamente alcuna ragione tecnica che una cosa del genere non possa esistere. Non c'è nulla di particolare nel codice lato client che imponga l'uso di lingue digitate dinamicamente.
Poiché è altamente improbabile che un'altra lingua trovi un'ampia adozione, la soluzione migliore sarebbe quella di creare una versione tipizzata staticamente di JavaScript (cioè un linguaggio vicino a java) e un preprocessore che lo converta in un normale JavaScript.
Ad esempio, il tuo script è simile a questo:
<script type="text/staticjavascript">
String foobar(int foo, String bar) {
String result="";
for (int i=0; i<foo; i++) {
result += bar;
}
return result;
}
</script>
e il preprocessore controlla che ogni variabile, funzione, oggetto, ecc. sia usata correttamente in base al suo tipo, e cambia lo script in
<script type="text/javascript">
function foobar(foo, bar) {
var result="";
for (var i=0; i<foo; i++) {
result += bar;
}
return result;
}
</script>
che ogni browser può gestire.
My question is, would it be technically possible to have a statically-typed alternative to JavaScript for client-side web page augmentation etc.?
Certo. Il Google Web Toolkit compila Java a JavaScript in modo statico ... Basta pensarci: tutta la bellezza e la flessibilità di Java, con tutte le prestazioni di JavaScript generato dalla macchina!
Seriamente, potresti farlo per tutti i tipi di lingue, e molti hanno provato (ci sono o sono stati anche compilatori per C e C #). Se il risultato finale è pratico o non dipende da ciò che stai cercando di realizzare: Google dopo una piattaforma coerente per lo sviluppo di app lato client molto grandi e ha il proprio motore JavaScript da avviare; potresti scoprire che l'adozione di una tale bestia per effetti hover e la strana chiamata AJAX introduce molto più dolore che semplicemente imparare a vivere con un po 'di codice non tipizzato ...
La maggior parte dei vantaggi di linguaggi tipizzati staticamente sono realizzati in fase di compilazione. Se la lingua verrà interpretata sul client, molti di questi vantaggi andranno persi. Se li si compila sul server, è necessario capire come caricarli ed eseguirli sul client (si pensi ai controlli ActiveX). Si può andare con un approccio ibrido (compilare un modulo token intermedio), ma in pratica si torna alle applet Java.
Esiste già.
ActionScript 3 (il linguaggio di scripting di Flash e Flex) è un dialetto di ECMAScript che implementa tipi forti e tu può usarlo più o meno nello stesso modo lato client di JavaScript (la differenza è che AS3 richiede un plugin flash ed è compilato). Io personalmente cerco di allontanarmene di questi tempi, ma se sei nel campo "statico", dagli un vortice.
Questo risponde alla domanda principale, e ora che lo abbiamo, la tua domanda secondaria diventa "Flash è pratico?" La risposta è "sì", con pochi "se" se "ma" s
In teoria, puoi incollare qualsiasi script su una pagina che desideri. Il tag <script> ha un attributo type , dopotutto.
L'unico ostacolo è ottenere una quota di mercato sufficiente in termini di implementazione in diversi browser per renderlo utile da usare.
Quindi sì, è abbastanza improbabile a questo punto.
Sarebbe pratico? No.
È possibile? Sì!
Sviluppare la propria alternativa tipizzata staticamente a JavaScript richiederebbe molto tempo, nel migliore dei casi. Nel peggiore dei casi, non saresti in grado di convincere alcun browser esistente a implementare il tuo linguaggio di scripting del client e dovresti scrivere il tuo.
Puoi usare lingue come haXe per scrivere il tuo codice in modo tipicamente statico ed esportarlo in javascript. JavaScript sta diventando molto veloce, quindi è sufficiente come linguaggio di output. Cercare di applicare una lingua tipizzata in modo statico come standard Web è quasi impossibile. I tentativi di introdurre la tipizzazione statica in JavaScript hanno fallito per ragioni di ampio respiro da discutere.
Sarebbe tecnicamente possibile? Se deve essere implementato in Java, direi "molto, molto difficile, ma possibile" senza una significativa perdita di prestazioni.
In questo momento sto scrivendo a mano un DSL staticamente digitato in Java, e l'unico modo per evitare il controllo dei tipi di esecuzione è usare i generici e sopprimere gli avvertimenti "non controllati" ... cioè fino al momento è venuto per implementare array multidimensionali (i parametri di classe devono essere noti al momento della compilazione e sono quindi intrinsecamente finiti, mentre gli array multidimensionali rappresentano un numero infinito di tipi ...) Sto ancora cercando di capirlo, sfortunatamente-- I ' Sono sicuro che incontrerò problemi simili con le classi definite dall'utente.
Il fatto è che continuo a inciampare in questo tipo di problemi, ma dopo essermi seduto per un po ', ho trovato una buona soluzione. Quindi, per farlo e avere i vantaggi prestazioni della tipizzazione statica (nessun controllo del tipo di runtime), direi che è estremamente difficile, ma non impossibile. Meno la performance, direi difficile ma molto possibile.
So che è una vecchia domanda, pensavo che la mia esperienza potesse essere preziosa per qualcuno.
È tecnicamente possibile scrivere script sul lato client in qualsiasi linguaggio di scripting supportato dall'agente utente (browser). In pratica, l'unica lingua ampiamente supportata è JavaScript / ECMAScript. È improbabile che i creatori di browser convinti di implementare e supportare un nuovo linguaggio in questa fase non riescano; quindi, se volessi utilizzare un nuovo linguaggio lato client tipicamente staticamente, dovresti tradurre la nuova lingua in JavaScript o implementare un interprete per esso in JavaScript.
Ci sono diversi progetti che già fanno qualcosa del genere; ad esempio, Google Web Toolkit , come menzionato in una delle altre risposte.
Dato che non hai alcuna speranza di ottenere tutti i browser che vengono utilizzati nel mondo reale per supportare una nuova lingua; il linguaggio dovrà essere compilato in jscript.
Poiché tutti gli esempi del web sono in jscript, il linguaggio dovrebbe essere per lo più simile a jscript.
Penso che ci sia scope con un "sottoinsieme" di jscript che è controllato da un controllore statico ma è anche jscript valido. Per esempio:
Leggi altre domande sui tag javascript scripting static-typing dynamic-typing jit