スターリン（スキームの実装）

コンピューティングにおいて、Stalin ( STAtic Language ImplementatioN ) はプログラミング言語であり、Jeffrey Mark Siskind によって書かれた、積極的に最適化されたバッチプログラム全体の Scheme コンパイラです。高度なデータフロー分析、型推論、およびその他のさまざまな最適化手法を使用してコードを生成します。Stalin は、最適化された実行可能ファイルを生成するための実稼働環境での使用を目的としています。

コンパイラは実行速度が遅く、デバッグやその他の便利な機能のサポートはほとんどまたはまったくありません。R4RS スキームは完全にサポートされていますが、いくつかのマイナーでまれな省略があります。外部 C ライブラリとのインターフェイスは簡単です。コンパイラはライフタイム分析を行うため、予想されるほど多くのガベージは生成されませんが、ストレージのグローバルな再利用はBoehm ガベージ コレクターを使用して行われます。

名前はジョークです。「スターリンは残酷に最適化します。」

Stalin は、 GNU General Public License (GPL)に基づいてライセンスされた無料のオープンソース ソフトウェアであり、オンラインで入手できます。

• チキン（スキーム実装）
• Gambit (Scheme 実装)

公式サイト

• Google Code プロジェクト – Windows バージョンと GUI が含まれています
• Siskind による研究声明 (Stalin を他の Scheme コンパイラと比較し、「STALIN は手書きの C および Fortran コードよりも優れたコードを生成することが多い」と述べています。)
• Siskind によるフロー指向の軽量クロージャ変換 (Stalin コンパイラで使用される、プログラム全体の手続き間フロー、到達可能性、ポイント先、およびエスケープ解析の結果に基づいて駆動される軽量クロージャ変換方法を紹介します)