Factor/FAQ/Factor 関連用語

ワードとは？

Factor で使われるワード (word) とは、名前付き関数を意味する (Forth から受け継いだ) 用語です。

連鎖性 (concatenative) とは？

連鎖性言語を参照してください。

クォーテーションとは？

Factor で使われるクォーテーション (quotation) とは、無名関数または匿名関数 (anonymous function) を意味する (Joy から受け継いだ) 用語です。構文中では、角括弧で囲まれたコードのかたまりです。クォーテーションは通常のデータのかたまりで、配列と同様の方法で扱うことができます。

コンビネータとは？

Factor で使われるコンビネータ (combinator) とは、高階関数を意味する用語、すなわちクォーテーションを引数に取るワードのことです。コンビネータの例として、if と map があります。

ボキャブラリとは？

Factor で使われるボキャブラリ (vocabulary) とは、モジュールを意味する用語です。一時はモジュールとボキャブラリの概念を区別していましたが、今は同じです。

パーシングワードとは？

Factor で使われるパーシングワード (parsing word) とは、Forth で使われるイミディエイトワード (immediate word) に似ています。Lisp と比較して言えば、リーダーマクロのようなもので、しばしば通常のマクロのように使われるものをいいます。パーシングワードを定義するとパーサが拡張されます。新しい定義構文またはデータ型リテラルを用意するのに使います。

総称ワードとは？

総称ワードまたはジェネリックワード (generic word) とは、Lisp 用語の総称関数 (generic function) から取られたもので、引数のクラスに応じてディスパッチを行うワードのことです。これは、総称ワードで複数のメソッドを定義できることを意味します。Factor では、オブジェクトではなくワードがディスパッチを処理します。

ワードプロパティとは？

Factor では、各ワード (クォーテーションは除く) にワードプロパティ (word properties; "word props" と略記) のハッシュテーブルが関連付けられます。これらのワードプロパティには、そのワードがどこで定義されたかや、そのワードについてのドキュメントなど、ワードに関するメタデータが格納されます。ワードの定義や名前などのコアプロパティは、ワードプロパティには格納されません。ワードプロパティのハッシュテーブル全体にアクセスするには word props>> を使います。単一のワードプロパティにアクセスするには、word-prop を使います。ワードプロパティは、変数よりも「グローバル」なので、慎重に扱う必要があります。

スタック効果宣言で使われるさまざまなニーモニックにはどんな意味があるのですか？

http://docs.factorcode.org/content/article-effects.html を参照してください。