FunctionDeclaration
FunctionDeclaration[name,typedfun]
コンパイラ環境での使用に適した型付き関数となる name を宣言する．
詳細
- FunctionDeclarationは宣言の記号表現で，そのままでは評価されない．
- FunctionDeclarationの型付き関数はTyped[{t1,t2,…}tout]@Function[{x1,x2,…},body]の形でよい．
- FunctionDeclaration内のTyped[{t1,t2,…}tout]@DownValuesFunction[sym]の形式の型付き関数は，sym に添付された関数宣言を使う．
- Typed[{t1,t2,…}tout]@DownValuesFunction[sym]の形の型付き関数FunctionDeclarationは，計算にWolfram Engineを呼び出す．
- FunctionDeclarationは，CompilerEnvironmentAppendToの中およびFunctionCompileのような関数の第1引数で使うことができる．
- FunctionDeclarationで使われる名前は，型が異なる限り複数の宣言で使うことができる．
- FunctionDeclarationの中で宣言された関数は，他の宣言で使うことができる．
- FunctionDeclarationの中で宣言された関数は，ForAllTypeを使って複数の型について定義することができる．
- FunctionDeclarationの中で使われる型はTypeDeclarationが宣言する新たな型から構築できる．
- 外部ライブラリからエキスポートされた関数はLibraryFunctionDeclarationによって宣言することができる．
例題
すべて開くすべて閉じる例 (8)
FunctionDeclarationはFunctionCompileで使うことができる：
FunctionDeclarationを使ってデフォルトのコンパイラ環境に定義を加えることができる：
FunctionDeclarationを使って新たなコンパイラ環境に宣言を加えることができる：
CompilerEnvironmentオプションを使って環境を指定する：
関数宣言には，:=で作性された定義を使ってDownValuesが設定できる：
関数に名前と型を与え，実装がDownValuesから来ることを宣言する：
これらの定義は効率的なコンパイル済みコードに変換される点に注意のこと：
優れているのは，このワークフローがコンパイルされていないバージョンと互換性がある点である：
関数宣言は，計算のためにWolfram Engineを呼び出すようにすることができる．
FactorIntegerを呼び出すが，コンパイル済みコードで関数に別の名前を与える：
スコープ (1)
TypeOfとTypeEvaluateを使って宣言内で型が設定できる：
テキスト
Wolfram Research (2021), FunctionDeclaration, Wolfram言語関数， https://reference.wolfram.com/language/ref/FunctionDeclaration.html.
CMS
Wolfram Language. 2021. "FunctionDeclaration." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/FunctionDeclaration.html.
APA
Wolfram Language. (2021). FunctionDeclaration. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/FunctionDeclaration.html