FORTH：自己定義の言葉

同じタイプの十分に多数の変数が使用されるFort言語のプロジェクトがあるとします。

たとえば、x、y、z、x '、y'、z '、x' '、y' '、z' '、s、mなど...

それらを決定するには、毎回VARIABLEという単語を書き出す必要がありますが、これは面倒で退屈でいです。 もっと楽しくする方法はありますか？

さらに変数が定義されることを示し、名前を書き込みます。

次のようなもの：

変数：
   xyzx 'y' z '
   x '' y '' z ''
   sm
 ;変数

SP-Forthに実装されたFort言語インタープリターは、コンテキストディクショナリで単語が見つからない場合、実行するのと同じコンテキストディクショナリで単語NOTFOUNDを検索します。 NOTFOUND入力パラメーターは、入力ストリームからのサブストリングのアドレスとカウンターです。 したがって、必要なことを行うようにNOTFOUNDを再定義する必要があります。



何が必要ですか？

これが見つからない単語を取り、変数として現在の辞書の先頭にコンパイルします。 定義を思い出す

  ：可変作成0 、;

ただし、CREATEという単語自体が入力ストリームから次の単語を選択するため、スタック上のアドレスとカウンターを含む行から辞書エントリを作成する必要があります。 この場合、幸いなことにCREATEDという単語があります。この単語は、スタックからアドレスと行カウンタを取得し、辞書エントリを作成します。 残念ながら、NOTFOUNDと同様に、標準のANSI-94単語セットの一部ではありません。

このように

 ：NOTFOUND（addr u-）CREATED 0 ,; 

しかし、そのような定義を基本FORTHリストに入れると、数字を入力できなくなります。 そのため、他のコンテキストではこの新しいNOTFOUNDを非表示にする必要があります。 変数辞書を取得しましょう。

語彙変数 

そしてそれを最新にします。

また、変数の定義

NOTFOUNDの定義をそこに置く



現在のコンテキストを返します

以前の定義

したがって、単語VARIABLES：は、コンテキストを変数に切り替え、必要なNOTFOUNDを使用可能にします。

 ：変数：また、変数;

最後に、VARIABLESはコンテキストを返します。 当然、変数のコンテキスト内にある必要があります。



つまり、合計：

語彙変数 
また、変数の定義

 ：NOTFOUND（addr u-）CREATED 0 ,; 
 ：;前の変数; 

以前の定義

 ：変数：また、変数;

そのため、わずか4行で、SP-Forthインタープリターを拡張し、変数の説明を簡略化しました。

ただし、VALUE変数、定数、および一般的な実行セマンティクスを持つ一般的な単語には、同様のアプローチを使用できます。 定義語を使用して定義された語。 原則として、定義する単語のペアがあると便利です。 単一の定義用に1つ、グループ定義用にペアになります。 実際、定義語は、共通のセマンティクスを持つ単語のグループを作成できるようにするために作成されます。 また、これらの定義がテキスト全体に分散されておらず、1つのブロックにまとめられていると便利です。



これをVALUE変数に実装してみましょう。

語彙の値
また、値の定義
 ：見つかりません...

そして、ここでいくつかの問題に遭遇します。 修飾子ワードVALUEは、CREATEを介して定義されていません。 次のように定義されます。

 ：VALUE  
       ヘッダー
        ['] _CONSTANT-CODE COMPILE 、、、
        ['] _TOVALUE-CODE COMPILE、
 ;

幸いなことに、入力ストリームから文字列を取得するHEADERという単語には、SHEADERという形式のペアがあります。これはCREATEDという単語と同義です。

一方を他方に置き換えて、必要なバージョンの単語を取得するだけです。

 ：VALUED（n addr u ---）
      ヘッダー
       ['] _CONSTANT-CODE COMPILE 、、、
       ['] _TOVALUE-CODE COMPILE、
 ;

だから：

語彙の値
また、値の定義

 ：;前回のドロップ;
 ：NOTFOUND VALUED 0;

以前の定義 
  
 ：値：また値0;

ただし、欠点が1つあります。 すべてのVALUEはゼロに初期化されます。 これをなくすといいでしょう。

実装にはいくつかのオプションがあります。

簡単に記録できます

値：
   11 AA   
   22 bb 
   33 cc
 ;値

これは判読できません。



このように書きましょう：

値：
    aa = 11
    bb = 22
    cc = 33 
 ;値

きれいに見えます。



明らかに、値のコンテキストに「等しい」という単語が存在している必要があります。 次の単語を選択し、数字として解釈する必要があります。 つまり、リテラルとほぼ同義語です。 別の「等しい」は、この値を最後に定義されたVALUE変数に割り当てます。



書く

語彙の値
また、値の定義

 ：;前回のドロップ;
 ：= BL WORD？リテラルの最新名> 9 + EXECUTE;
 ：NOTFOUND VALUED 0;

以前の定義 
  
 ：値：また値0;

そのようなオプション

値：
   11からaa   
   22からbb 
   33からcc
 ;値

言語のパラダイムから外れることなく、さらに、計算された値でVALUE変数を初期化できるという点で価値があります。

値：
        11からaa   
   22 1980 * bbへ 
   aa bb + cc
 ;値

実装するために、NOTFOUNDを再定義する必要はありません。 TOという単語の意味のみが変更されます。 VALUES：ターミネーター単語間：; VALUES TOは通常のVALUEのように動作する必要があります。

語彙の値
また、値の定義

 ：;前の値;
 ：値へ;

以前の定義 
  
 ：値：また値;

定数についても同様の記述方法を作成できます。

定数：
        11 IS AA   
   22 1980 * IS bb 
   aa bb + IS cc
 ;定数

このメソッドの実装は明らかだと思います。



一般に、このキャンペーンは新しいタイプの定義語-グループ定義語を形成します。 単純な定義語を使用すると、一般的なセマンティクスによって結合された語を作成できます。 同じ特性を持つグループは、ソーステキストの一部に同じ種類の単語の定義を集中する必要があります。 読みやすさと伴奏に良い影響を与えます。

SP-SP-Forthへのさらに楽しい追加は、WINAPI：という単語のグループ実装です。 特に、Winctlライブラリでは、WINAPI定義がテキスト全体に散らばっており、暗く見えます。

オプションとして：

 WINAPIS：
     LIB：USER32.DLL
              PostQuitMessage
              PostMessageA
              SetActiveWindow
     LIB：GDI32.DLL
              CreateFontA
              GetDeviceCaps
              DeleteDC
     LIB：COMCTL32.DLL
              InitCommonControlsEx
 ; WINAPIS

これを行うには、WINAPIという単語がどのように実装されているかを見てください。



どうやらDLLの遅延ロードが実装されているようです。 WinAPI呼び出しコードへのリンクは、インポートされた関数の名前、いくつかのパラメーター、ライブラリファイルとその中のプロシージャの名前を含む辞書エントリにコンパイルされます。 次に、そのようなファイルとそのような手順が存在します。

このコードを私たちの希望に合わせて作り直すために、各単語が何をするかを決定します。

; WINAPIS-コンテキストを復元するだけです。

LIB：-入力ストリームから次の単語を入力し、一時バッファに保存します。 検証と組み合わせることができます。

残りの単語は、プロシージャの名前として認識されます。



だから：