F# は、「型の安全性、簡潔さ、パフォーマンス、表現力、およびスクリプト」の組み合わせを提供します。
クイックグーグル。 F3、javaFX スクリプト、Linden Scripting Language (セカンドライフ用スクリプト)、最初の回答のコメントとは異なり、F# はスクリプト言語として使用できます http://blogs.msdn.com/chrsmith/archive/2008/09/12/ scripting-in-f.aspx
Felix、Tuga、CFGScript、Talc、Angelscript など、クイック検索以上のものがあると推測しています。
ダグラス
通常、静的に型付けされた言語はコンパイル済み言語です。その理由は、型の静的分析はかなり高価であり、処理しているすべてのコードを詳しく調べる必要があるためだと思います。それを行った後、そのすべての情報をファイルに書き込まないのはもったいないと感じます。そうすれば、次回も同じことをする必要がなくなります。したがって、すぐにコンパイルされた言語になります。
一方、コンパイルされた言語を「コンパイルされていない」言語に変えるのはかなり簡単です。コンパイルの結果をどこにも保存せず、直接実行します。このようなラッパーを提供するコンパイラの 1 つに、Haskell の標準コンパイラである GHC があります。 #!/usr/bin/runhaskell を追加できます をソース ファイルに追加し、それらを直接実行します。そして、標準から大きく外れることを計画しているので、Haskell は完璧に適合しているように思えます;)。ただし、すべての「コンパイル時間」分析と最適化は無料ではないため、スクリプトの起動時間がかなり長くなることが予想されます。
Haskell はシェル スクリプト用に作成されたものではなく、関数型言語であるため、Haskell を見たことがない場合は、慣れるまでに時間がかかる場合があります。しかし、構文上のオーバーヘッドはほとんどなく、関数型言語の長所は抽象化であるため、シェル スクリプトを楽しくするライブラリを作成できなかった理由がわかりません。実験的な Haskell シェルもいくつかありますが、実際のソリューションというよりも概念実証のようです。
一般に、すべての型分析のオーバーヘッドはかなり大きいと思いますが、お気に入りの静的に型付けされたコンパイル済み言語を選択し、runhaskell のようなラッパーを探すことをお勧めします。 そこに書かれたスクリプトを実行します。