F# memberikan kombinasi "keamanan jenis, keringkasan, performa, ekspresif, dan skrip".
google cepat. F3, skrip javaFX, Bahasa Skrip Linden (skrip untuk kehidupan kedua), Berbeda dengan komentar pada jawaban pertama F# dapat digunakan sebagai bahasa skrip http://blogs.msdn.com/chrsmith/archive/2008/09/12/ scripting-in-f.aspx
Felix, Tuga, CFGScript, Talc, Angelscript, dan menebak ada lebih dari pencarian cepat itu.
Douglas
Biasanya bahasa yang diketik secara statis adalah bahasa yang dikompilasi. Saya kira alasannya adalah, analisis tipe statis agak mahal dan Anda harus melihat secara mendalam semua kode yang Anda proses. Setelah Anda selesai melakukannya rasanya sia-sia untuk tidak menulis semua informasi itu ke dalam file, sehingga Anda tidak perlu melakukannya lagi lain kali. Jadi Anda dengan cepat berakhir dengan bahasa yang dikompilasi.
Di sisi lain, mengubah bahasa yang dikompilasi menjadi bahasa yang "tidak dikompilasi" cukup mudah. Anda hanya tidak menyimpan hasil kompilasi di mana pun tetapi mengeksekusinya secara langsung. Satu kompiler yang saya tahu menyediakan pembungkus seperti itu adalah GHC, kompiler Haskell standar. Anda dapat menambahkan #!/usr/bin/runhaskell ke file sumber Anda dan kemudian langsung menjalankannya. Dan karena Anda berencana untuk jauh dari norma, Haskell sepertinya sangat cocok;). Namun perkirakan waktu mulai yang agak lama untuk skrip Anda, karena semua analisis dan pengoptimalan "waktu kompilasi" tidaklah gratis.
Haskell tidak dibuat untuk skrip shell dan ini adalah bahasa fungsional, jadi jika Anda belum pernah melihatnya, mungkin perlu waktu untuk membiasakan diri. Tapi itu memiliki overhead sintaksis yang sangat sedikit dan kekuatan bahasa fungsional adalah abstraksi, jadi saya tidak mengerti mengapa Anda tidak bisa membuat perpustakaan yang membuat skrip shell menyenangkan. Bahkan ada beberapa shell Haskell eksperimental, tetapi tampaknya ini lebih merupakan pembuktian konsep daripada solusi nyata.
Secara umum saya akan mengatakan overhead dari semua analisis jenis itu signifikan, tetapi saya sarankan Anda memilih bahasa kompilasi favorit Anda yang diketik secara statis dan mencari pembungkus seperti runhaskell untuk mengeksekusi skrip yang ditulis di dalamnya.