Esistono linguaggi di script Web di tipo statico? [chiuso]

Sembra che ci siano due modi principali per impostare un back-end del server web. Puoi usare uno stack LAMP, con il codice lato server in qualcosa come PHP o Python (o Ruby o JavaScript, che non iniziano con una P.) Questi linguaggi di scripting tendono ad essere tipizzati dinamicamente, con tutti gli svantaggi in prestazioni, correttezza e manutenibilità apportate dai linguaggi tipizzati dinamicamente, ma è facile aggiornare il server perché tutta la logica di generazione delle pagine è memorizzata in script esterni.

L'altro stile di architettura principale ampiamente utilizzato è ASP.NET, in cui la logica di generazione della pagina è scritta in codice compilato. Questo tende a usare linguaggi tipicamente statici, quindi ottieni codice che ha il vantaggio di un compilatore, ma tutta la logica di generazione della pagina viene compilata nel server, il che significa che se devi cambiare qualcosa, devi smontare il server e sostituirlo con una nuova build.

Questo mi fa meravigliare. Esistono linguaggi di scripting lato server che utilizzano la tipizzazione statica, per il meglio dei due mondi?

AGGIORNAMENTO: Le soluzioni più attuali includono AtScript

Dovresti provare Google Dart .

Ha una digitazione facoltativa, il che significa che è possibile aggiungere annotazioni di tipo che verranno verificate in modalità sviluppatore "controllato" al momento dell'esecuzione, ma non sono necessarie e la lingua offre molti dei vantaggi di altri linguaggi dinamici come Python. Tuttavia, l'editor farà l'inferenza di tipo per cercare di aiutarti a trovare gli errori in anticipo. La VM Dart è veloce e può produrre snapshot, che può accelerare il tempo di avvio fino a 10 volte. Si compila anche in javascript ed è veloce .

Il principale svantaggio qui è che è una tecnologia un po 'nuova, quindi non ci sono tante librerie per questo, e onestamente, l'interoperabilità con javascript non è così semplice come dovrebbe essere. Inoltre, la lingua è ancora in fase di sviluppo, quindi di volta in volta vengono apportate modifiche sostanziali.

La tua domanda si basa su diversi presupposti errati.

Python, Ruby sono entrambi compilati in bytecode prima dell'esecuzione. Il processo è automatico, ma le modifiche dell'applicazione richiedono un riavvio completo. Node.JS si comporta allo stesso modo ma viene compilato in base al codice macchina.

Il codice ASP.NET può essere precompilato e copiato sul server o compilato dinamicamente su richiesta dal codice sorgente sul server. IIS gestisce entrambe le forme di aggiornamento senza tempi di inattività pari a zero (le prime richieste dopo l'aggiornamento saranno lente). Con Python e Ruby sono possibili aggiornamenti a zero tempi di inattività, ma con così tante opzioni di distribuzione non sono scontati.

Sulla base di ciò, penso che saresti felice con qualsiasi linguaggio .NET.

Non vi è alcun motivo per cui una lingua compilata debba essere fortemente tipizzata o difficile da aggiornare.

Potresti voler guardare alcune delle configurazioni web erlang come Cowboy, Webmachine e azoto. Con Dialyzer puoi ottenere un controllo del tipo molto corretto per verificarne la correttezza e puoi ricaricare i moduli al volo in fase di esecuzione poiché Erlang è stato progettato per essere in grado di aggiornare il software sul posto senza interrompere gli utenti esistenti.

Inoltre la webmachine (quella che ho usato di più) può essere abbastanza veloce. Ho visto webmachine avere risposte medie su endpoint API inferiori a 10 ms su un piccolo nodo Amazon EC2!

Se si desidera la digitazione statica, provare il framework Yesod , che è per il linguaggio Haskell. Haskell è fortemente tipizzato con un sistema di tipo molto ricco.

Non l'ho usato personalmente, ma la gente che conosco chi lo usa lo adora.

IMHO, il linguaggio di scripting Web migliore staticamente tipizzato è D .

Come i linguaggi di script interpretati, può compilare script al volo e alla velocità della luce.

Il linguaggio stesso sembra un superpotere JavaScript fortemente tipizzato, molto più potente di Go per esempio.

Tutto il contenuto della concorrenza è nascosto, come in PHP, e i modelli sono compilati in codice nativo.

Difficile da trovare meglio di così ...