WOLFRAM

Wolfram言語 ＆ システムドキュメントセンター

"Rule" （コンパイルタイプ）

"Rule"::[tykey,tyvalue]

key と value について指定された型を持つ型を表す．

詳細

  • "Rule"はTypedおよび型を指定する関連した構造で使うことができる．
  • "Rule"オブジェクトは自動的にメモリ管理される．
  • "Rule"のキーと値は任意のコンパイル型を持つことができる．

コンストラクタ

  • RulesはコンパイルされたコードでRule (->, )で作成することができる．

特性

  • First[rule]は規則の最初の要素を返す．
  • Last[rule]は規則の最後の要素を返す．
  • 型"Rule"::[tykey,tyvalue]の rule に対するInformation[rule,"KeyType"]は tykey を与える．
  • 型"Rule"::[tykey,tyvalue]の rule に対するInformation[rule,"ValueType"]は tyvalue を与える．

変換

    式から

  • Rule式は，最初の要素が型 tykey に，最後の要素が型 tyvalue に変換できる場合，型"Rule"::[tykey,tyvalue]のコンパイルされたコードの要素に変換することができる．

    • 式へ

  • "Rule"コンパイル要素はRule式に変換することができる．

例題

例  (1)

"Rule"のインスタンスはコンパイルされたコード内で作成することができ，コンパイルされたコードから返ることができる：

整数と文字列の引数を持つ関数を呼び出し，規則を返す：

規則の式を入力し，最初の要素を返す：

規則の式を入力し，最後の要素を返す：