Paraphrase ワードリファレンス ver.

例：int * float なら、計算結果は float となります。

例：int + float なら、計算結果は float となります。

指定される局所変数はそのワード（無名ワードを含む）にて 宣言されたものに限ります（動的スコーピングは適用されません）。

TOS がシンボルリストの場合： TOS を取り出し、そのシンボルリスト中のシンボルと同名の ローカル変数の値を順次スタックに積んでいきます。 なお、リスト中のシンボルは先頭より順次取り出されていきます。

例：int - doubleなら、計算結果は double となります。

指定される局所変数はそのワード（無名ワードを含む）にて 宣言されたものに限ります（動的スコーピングは適用されません）。

本ワード実行時（コンパイル時）は、α3 に示すアドレスに、 現在コンパイル中のアドレスを格納し、 次の case または default への ジャンプを行うための空スロットを生成します。 その後、α3 にこの空きスロットのアドレスを格納します。

同様のワードに -> がありますが、 -> との違いは、TOS を捨てるかどうかだけです。 -> は TOS を捨てる drop を暗黙的に実行しますが、 本ワード ->> はこの drop を実行しません。 そのため、->> 以降の処理においても、 TOS が保存されるという違いがあります。

最大公約数を求めるワード gcd はスタックより 2 つの整数値をとり、 その 2 数の最大公約数をスタックに積むものとします。

// usage: m n gcd
`gcd :
    switch
        // m 0 gcd なら m とする。
        case 0? -> break

        // 等しいときは m (==n)  が答え
        case drop @== ->> drop

        // m<n なら n m gcd で再計算
        case drop @<  ->> swap gcd 

        // 上記以外の時は n m%n gcd
        default ->> dup inv-rot % gcd
    dispatch
;

同様のワードとして TOS を消費しない（参照するだけ）の @.というワードもあります。

例：int / doubleなら、計算結果は double となります。

ワード ; （セミコロン）と対をなし、 TOS にある文字列をワード名として、 ワード定義モード（コンパイルモード）に移行します。

ただし、'$' 記号で始まるワード名は使用できません （'$' 記号で始まるワードは、 グローバル変数や定数定義の処理にて予約されています）。

定義されるワードは、省略形として TOS に積まれたワード名と ボキャブラリ名と TOS に積まれたワード名とを コロンで繋いだ正規名でのワード、両方が定義されます。 デフォルトのボキャブラリ名は user です。 例えば test という文字列が TOS にある場合は、 user:test という名前が正規名となります。

本ワードは、+= 等のワードと 連携することを想定して用意されています。 これらのワードと正しく連携するためには、 本ワードの直前に局所変数名を示すシンボル値がコンパイルされている必要があります。

このワードの後に置かれた文字列は、 文頭もしくは行頭の空白文字を取り除かれた文字列として処理されます。

行頭の空白文字を無視しない（raw モード）での ヒアドキュメントを使用する場合は、 ワード raw<<< と >>>raw を使用して下さい。

ワード(< を実行した時と比較して、 本ワードを実行した時のスタックの深さが浅い、もしくは同じ深さだった場合、 空のスタックを生成してスタックに積みます。

( 1 2 3 ) も (< 1 2 3 >) も同じ ( 1 2 3 ) というリストを スタックにプッシュしますが、リストの生成方法は大きく異なります。

ワード ( と ) では、 間に存在するシンボルをコンパイルすることにより、リストを構築していました。 一方、ワード (< および 本ワード >) を用いた場合は、 動的にリストを構築しデータスタックにプッシュします。 その点が ( および ) を 用いる場合と異なります。

ワード (< および 本ワード >) を用いる場合は、 あくまでも実行時に動的にリストを構築するため、 局所変数を用いた動的なリスト構築が可能となります。

これは、コンパイルによりワードを構築する ワード( および ) を用いる方法では実現できません （コンパイル時には局所変数の値が定まっていないため、 これらのワードではリストを構築することができません）。

ワード [ と異なる点は、 子スレッドにおけるデフォルトの読み込み用チャネルは、 親スレッドの TOS に積まれているチャネルと接続されるところです。

子スレッドのスタックに積まれる値は、 親スレッドのセカンドの値が用いられます。

ワード [[ と異なる点は、 TOS に積まれたチャネルを生成する各スレッドのデフォルトの 入力チャネルとする点です。

各子スレッドのスタックに積まれる値は、 親スレッドのセカンドのものが用いられます。

ホワイトスペースのみからなる文字列に本ワードを適用すると、 要素数 0 の配列をスタックに積みます。 また、ホワイトスペースを含まない文字列に本ワードを的湯すると、 当該文字列のみを含む要素数 1 の配列をスタックに積みます。

数値型の場合は 0 は false に変換され、それ以外は true に変換されます。 この場合は 0 != と同値です。 アドレス型の場合も同様です （アドレス型の場合は >int 0 != と同値となります）。

文字列の場合は、空の文字列の場合は false に変換され、 それ以外は true に変換されます。 この場合は "" != と同値です。

無効な値（invalid 型）は常に false に変換されます。 それ以外の値の場合は、真偽型に変換できないとし、エラーとなります。

bool 値は >float で float の値に変換 できないため、本ワードでも false をスタックに積みます。

次の例では、1 から 9 までの値より構成されるリストを 手続きにより定義しています。

備考：実は上のサンプルコードは、 ワード }}, を使うと、 本ワード >here を用いずとも実現できます。 詳細はワード }}, の サンプルコードを見て下さい。

bool 値は >int で int の値に変換 できないため、本ワードでも false をスタックに積みます。

TOS にある値を取り出し、リストに変換した後スタックに積みます。 配列など集合型の値場合は、それらの要素からなるリストに変換します。 int など集合型でない値の場合は、その値ひとつからなるリストに変換します （非集合型の値の場合はワード en-list と同様の処理となります）。

集合型に対する挙動は en-list とは異なります。 例えば、TOS に要素数 3 の配列が格納されている場合、 en-list では、その配列そのものを要素にもつリストが生成されます。 この場合、生成されたリストの要素数は 1 です。 一方、本ワードで生成されるリストの要素数は 3 となります。

配列に対して本ワードを使用すると、 配列の 0 番目から順次左詰めのリストが生成されます。 連想配列に対してはキーと値の組からなるリストが生成されます。 この場合、リストの要素としてどのような順序となるかは未定義です。 リストに対しては、変換前と同じリストが生成されてスタックに積まれます。

擬似標準入力は標準入力からの入力を伴う単体テストのために用意されています。 このワードを実行すると、擬似標準入力モードに切り替わります。 通常の標準入力モードに戻すには、 ワード use-stdin を実行して下さい。

インタプリタモードの場合

なにもしません。 本ワードの実行により、 実行された無名ワードによりデータスタックに積まれた値は そのままデータスタックに残ります。

コンパイルモードの場合

増加したデータスタック上の値は、 リテラルとしてコンパイルされます。 データスタックの深さにより、増加した値として認識されるので、 例えば、drop して、 2 つの値をプッシュした場合は最後の値のみがリテラル化されます。

シンボルモードの場合

リテラルとしてコンパイルされずにシンボルとしてコンパイルされる以外は、 コンパイルモードのときと同様です。

次の例では、1 から 10 までの値より構成されるリストを 手続きにより定義しています。

配列またはリストもしくは連想配列より値を読み出し、 スタックに積みます。

配列またはリストについては、指定したインデクス(I)に 対応する値(X)をスタックに積みます。 連想配列の場合はインデックスではなく、 キー(Xk) に紐付けられている値（Xv）を読み出し、スタックに積みます。

配列およびリストに対するインデックスは 0 オリジンです。 有効なインデックスの最小値は 0 であり、 最大値は配列もしくはリストの要素数-1 となります（C 言語と同じです）。

なお、配列に対してはスレッドセーフです。

RS: --- ν θ
SS: --- κ

親スレッド： ℒ ---
子スレッド： --- Xi
注： i 番目のスレッドには ℒ の i 番目の要素が渡されます。

なお、上の出力例は CPU が 8 コアの環境で実行したものです。 各スレッドからの出力の順序は上記の例とは異なる場合があります。

このワードは、ワード ] と対を成し、 並列処理ブロックを構成します。 ワード [ と ] にて定められた並列処理ブロックは、 新たにスレッドを 1 つだけ作成し、そのスレッドにて並列に実行されます。

コンパイル時

RS: --- ν θ

コンパイルにより生成されたコードの実行時

親スレッド

X ---

子スレッド

--- X

RS: --- ν θ
SS: --- κ

親スレッド： ℒ ---
子スレッド： --- Xi
注： i 番目のスレッドには ℒ の i 番目の要素が渡されます。

同様のワード [[-> では、 スタックの初期値として用いられる値は、親スレッドの TOS の値でした。 そのため、全ての子スレッドのスタックの初期値は全て同一でした。 しかし、本ワードでは、親スレッドの TOS にあるリストの要素が 生成されるスレッドのスタックに順次積まれますので、 各子スレッドのスタックの初期値はそれぞれ異なる状態となります。

本ワードを用いることにより、 子スレッドのスタックをそれぞれ異なる値で初期化し、 その状態で各子スレッドを開始できます。

この並列処理ブロックは、デフォルトでは搭載しているコア数と 同数のスレッド数で実行されます。

ワード }} や }}, と対を成し、 無名ワード（ラムダ）を定義します。 現在の実行モード等をリターンスタック上に保存し、 コンパイルモードへと移行します。

{{ … }} で構成される無名ワードブロックは、 コンパイル中であっても即時に実行されます。 ワード >lit を用いることにより、 リスト内に配置された無名ワードブロックにて、 手続きによりリストを構築できます。

本ワードの実体は { と殆ど同じですが、 本ワード実行直前のデータスタックの位置を RS にキャプチャ （プッシュして保存）するところが異なります。 このキャプチャされたデータスタックの位置の利用方法については、 ワード }}, の説明をみて下さい。

インタプリタモードの場合：

生成された無名ワードは、スタックに積まれます。

上記以外の場合：

無名ワードが即時実行属性を持たない場合は、 リテラルとして生成された無名ワードをコンパイルします。 リスト中であればリストの要素として無名ワードが格納されます。

なお、本ワードはコメント中では何も処理を行いません。

次のコードでは、"lambda\n" と表示する無名ワードをスタックに積み、 その積まれた無名ワードをワード exec により 実行しています。

以下に示すコードではリスト中に無名ワード（ラムダ）を格納し、 それを利用しています。

本ワードにより生成された無名ワードは コンパイル中であっても即時に実行されます。 ワード >here や >lit と併用することにより、 プログラムにてワードやリストを定義することが可能となります。