連結型プログラミング言語

連結型プログラミング言語は、すべての式が関数を表し、式の並置が関数合成を表す、ポイントフリーのコンピュータプログラミング言語です。^{[1]連結型プログラミングは、他のプログラミングスタイルで一般的な}関数適用を、サブルーチンを構築するデフォルトの方法として関数合成に置き換えます。

例

たとえば、応用言語での一連の操作は次のようになります。

y = foo ( x ) z = bar ( y ) w = baz ( z )

...は連鎖型言語で関数の列として記述される: ^[2]

x フーバーバズ

連結形式で記述された関数と手続きは値レベルではありません。つまり、通常は操作するデータ構造を明示的な名前や識別子で表しません。代わりに関数レベルです。関数はパイプライン、つまりすべての関数が操作する暗黙のデータ構造からパラメータを受け取り、関数の結果をその共有構造に返す一連の操作として定義され、次の演算子で使用されます。^[3]

合成意味論とそれを反映する構文の組み合わせにより、連鎖性言語はプログラムの代数的操作に非常に適しています。^[4]ただし、数式を直接記述するのは難しい場合があります。^{[5]連鎖性言語は}スタックマシンを使用して効率的に実装でき、命令セットの形で仮想マシンに暗黙的に存在します。^[5]

連鎖型言語の特性は、その合成構文と意味論の結果です。

式の簡約とは、ある関数を別の関数に簡略化することです。関数をオブジェクトに適用する必要はありません。^[6]
任意の部分式は、同じ部分式を表す名前に置き換えることができます。これは、連結コミュニティでは因数分解と呼ばれ、プログラムを小さな部分に単純化するために広く使用されています。
連鎖性言語の構文と意味論はモノイドの代数構造を形成する。^[7]
連結型言語は、ゴミが生成されない線形論理に触発された実装に適したものにすることができます。^[8]

最初の連結型プログラミング言語はForthですが、連結型と名乗った最初の言語はJoyです。その他の連結型言語には、 dc、Factor、 Onyx 、PostScript、RPL などがあります。

既存の連鎖性言語のほとんどはスタックベースですが、これは必須ではなく、他のモデルも提案されています。^[9]^[10]^[11]連鎖性言語は現在、組み込み、デスクトップ、Webプログラミング、ターゲット言語、研究目的で使用されています。

連鎖型言語のほとんどは動的型付け言語である。例外として静的型付け言語のCat言語がある。^[12]

^ 「Christopher Diggins: 連結性言語とは何か」 Drdobbs.com. 2008-12-31 . 2013-07-01閲覧。
^ 「名前コード、値ではありません」。Concatenative.org 。 2013年9月13日閲覧。
^ 「連結性言語」Concatenative.org . 2013年9月13日閲覧。
^ 「関数型言語 Joy の根拠」。2011 年 1 月 15 日時点のオリジナルよりアーカイブ。
^ ab 「連結型プログラミングが重要な理由」。2013年9 月 13 日閲覧。
^ 「von Thun, Manfred: Joy と他の関数型言語との比較」。2011 年 10 月 6 日時点のオリジナルよりアーカイブ。
^ 「フォン・トゥーン、マンフレッド：喜びの数学的基礎」。2010年7月31日時点のオリジナルよりアーカイブ。
^ 「Henry Baker: 線形論理と順列スタック — 4 番目が最初」 Home.pipeline.com。2014 年 7 月 24 日時点のオリジナルよりアーカイブ。2013年 7 月 1 日に取得。
^ 「連結言語XY」。Nsl.com 。 2013年7月1日閲覧。
^ 「Enchiladaプログラミング言語」。Enchiladacode.nl 。 2013年7月1日閲覧。
^ 「Omプログラミング言語」。Om-language.org 。 2013年7月1日閲覧。
^ 「Cat仕様」。Cat-language.com。2015年2月5日時点のオリジナルよりアーカイブ。2013年7月1日閲覧。