F# fornisce una combinazione di "indipendenza dai tipi, concisione, prestazioni, espressività e scripting".
veloce google. F3, javaFX script, Linden Scripting Language (scripting per la seconda vita), A differenza del commento sulla prima risposta F# può essere usato come linguaggio di scripting http://blogs.msdn.com/chrsmith/archive/2008/09/12/ scripting-in-f.aspx
Felix, Tuga, CFGScript, Talc, Angelscript e supponendo che ci sia molto di più di una rapida ricerca.
Douglas
Tipicamente i linguaggi tipizzati staticamente sono linguaggi compilati. Immagino che il motivo sia che l'analisi statica dei tipi è piuttosto costosa e devi dare uno sguardo approfondito a tutto il codice che stai elaborando. Dopo averlo fatto, sembra uno spreco non scrivere tutte quelle informazioni in un file, in modo da non doverlo rifare la prossima volta. Quindi ti ritroverai rapidamente con un linguaggio compilato.
D'altra parte, trasformare un linguaggio compilato in uno "non compilato" è piuttosto facile. Semplicemente non memorizzi i risultati della compilazione da nessuna parte ma li esegui direttamente. Un compilatore che conosco che fornisce un tale wrapper è GHC, il compilatore Haskell standard. Puoi aggiungere #!/usr/bin/runhaskell ai file sorgente e quindi eseguirli direttamente. E dal momento che stai pianificando di essere lontano dalla norma, Haskell sembra perfetto;). Ma aspettati un tempo di avvio piuttosto lungo per i tuoi script, perché tutta l'analisi e l'ottimizzazione del "tempo di compilazione" non sono gratuite.
Haskell non è fatto per lo scripting di shell ed è un linguaggio funzionale, quindi se non l'hai mai visto prima, potrebbe volerci del tempo per abituarti. Ma ha un sovraccarico sintattico minimo e la forza dei linguaggi funzionali è l'astrazione, quindi non vedo perché non potresti creare una libreria che renda divertente lo scripting della shell. C'è anche qualche shell Haskell sperimentale, ma sembra essere più una prova di concetto che una soluzione reale.
Generalmente direi che l'overhead di tutta l'analisi del tipo è significativo, ma ti suggerirei di scegliere il tuo linguaggio compilato tipizzato staticamente preferito e cercare un wrapper come runhaskell per eseguire gli script scritti in esso.