8 に答える
factorcode.org、concatenative.org、およびtinyvid.tvは、FactorWebサーバーおよびフレームワークであるFurnaceを利用しています。
PostScriptは連結型であり、PostScriptには明らかに膨大な数のアプリケーションがあります。汎用プログラミング言語ではありません。
Palmデバイスで完全にコンパイルされたアプリケーション開発を可能にするPalm用のやや時代遅れですが非常にクールなQuartusForthがあります（ミニマリスト言語としてのForthはそのような状況ではかなりうまく機能します）。彼らのホームページには、いくつかのPalmアプリがリストされています。
このFIGページには、NASAによるForthの非常にクールな使用法への参照を含む、ほとんど埋め込まれたプロジェクトのリストがあります。
1991年頃にクイーンズランドで開催されたAppleカンファレンスで、 MacForthで作成された道路計画アプリケーションを販売していた男性に会いました。
Christopher Digginsは、コンパイラの最適化を支援するためにMicrosoft内で使用されているCat言語について話していましたが、それがどこに行ったかはわかりません。
PowerMOPS （Neonの後継）は、インスタンスを意味するオブジェクト指向を追加することが重要であるため、連結の定義を見逃しているのではないかと思います。
Greg が書いたように、postscript は巨大な例です。
連結言語は、言語ランタイムの些細な性質のために、ごく自然にどこにでも現れます。これは多くのファームウェアで好まれています。私は、Sun Sparcstation のブートローダーで「実際に」Forth に初めて遭遇しました。OLPC のファームウェアに電力を供給します。
Ocaml の親である Caml は、関数型プログラミングのセマンティクスを Categorical Abstract Machine (Caml の CAM) として実現することに基づいていました。
Bibtex は連結言語を使用してスタイル ファイルをコンパイルします。
FORTH Incを見てください。彼らは、FORTHを使用して彼らとその顧客が行ったいくつかのプロジェクトをリストしています。
Mac のファームウェアの一部 (少なくとも古い PowerPC モデルでは) は Forth で書かれていました。
参照: http://osxbook.com/book/bonus/ancient/whatismacosx/arch_boot.html
ビットコイン プロトコル、および他のほとんどのクリプトコインは、トランザクションの検証に公開鍵スクリプトと署名スクリプトを使用します。
公開鍵スクリプトと署名スクリプトは、secp256k1 公開鍵と署名を条件付きロジックと組み合わせて、プログラム可能な承認メカニズムを作成します。
これらのスクリプトは、連結言語で記述されています。
スクリプト言語は、チューリング完全ではなくステートレスになるように意図的に設計された、Forth に似たスタックベースの言語です。ステートレス性により、トランザクションがブロック チェーンに追加されると、永久に使用できなくなる状況がなくなります。チューリングの不完全性 (具体的には、ループや goto の欠如) により、スクリプト言語の柔軟性が低下し、予測可能になり、セキュリティ モデルが大幅に簡素化されます。