WOLFRAM

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

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

"IncrementalFunction"::[next,send]

型 next を生成し，型 send を受け取ることのできる増分関数の状態を保持する型を表す．

詳細

  • "IncrementalFunction"はIncrementalFunctionで作成された関数の実行中のインスタンスを参照するために使われる．

Constructors

  • "IncrementalFunction"のインスタンスは，IncrementalFunctionの印の付いた関数をコンパイルすることによって作成される．

操作

  • 型"IncrementalFunction"のインスタンスでは，以下の操作を使うことができる：
  • obj["Close"]増分関数が再開しないように，実行を終了させる
    obj["Next"]増分関数を再開して次の中断点まで実行させるか終了させるかする
    obj["Send",val]val を送る増分関数を再開して次の中断点まで実行させるか終了させるかする

特性

  • 型"IncrementalFunction"::[yield,receive]の obj についてのInformation[obj,"YieldType"]は"TypeSpecifier"::[yield]を与える．
  • 型"IncrementalFunction"::[yield,receive]の obj についてのInformation[obj,"ReceiveType"]は"TypeSpecifier"::[receive]を与える．

変換

    式

  • "IncrementalFunction"オブジェクトを式に変換することには，式の中に増分関数への参照を埋め込むことを伴う．これは高速であり，操作の呼出しを許可する．式が解放されると，増分関数への参照は削除されるため，関数が永久に終了されすべてのリソースが解放される可能性がある．

例題

例  (1)

増分関数オブジェクトを返すプログラムをコンパイルする：

Wolfram Language code: cf = FunctionCompile[IncrementalFunction@Function[Typed[len, "MachineInteger"], Do[IncrementalYield[i], {i, len}] ]];

増分関数のインスタンス：

Wolfram Language code: ds = cf[3]

引数として増分関数オブジェクトを取り"Next"を呼び出すプログラムをコンパイルする：

Wolfram Language code: cf1 = FunctionCompile[Function[Typed[obj, "IncrementalFunction"::["MachineInteger", "Null"]], Echo[obj["Next"]] ]];

コンパイルされた関数で"Next"を呼び出す：

Wolfram Language code: cf1[ds]

再び"Next"を呼び出す：

Wolfram Language code: cf1[ds]

評価子から"Next"を呼び出す：

Wolfram Language code: ds["Next"]

増分関数は終了したため，再び"Next"を呼び出すと失敗する：

Wolfram Language code: ds["Next"]