OperationDeclaration
OperationDeclaration
OperationDeclaration[type,op,typedfun]
type の操作 op に使う型付き関数を宣言する．
詳細
- OperationDeclarationは，宣言の記号表現であり単独では評価しない．
- OperationDeclarationの型付き関数は，Typed[{t1,t2,…}tout]@Function[{x1,x2,…},body]の形式でよい．
- TypeDeclarationで型について宣言された操作はどれも，使用される型についてのOperationDeclarationが必要である．
- OperationDeclarationの型は，ForAllTypeを使って多様な形で書くことができる．
- OperationDeclarationは使用すると，操作として使われる関数に命名する必要がなくなる．
Wolfram Research (2024), OperationDeclaration, Wolfram言語関数， https://reference.wolfram.com/language/ref/OperationDeclaration.html.
テキスト
Wolfram Research (2024), OperationDeclaration, Wolfram言語関数， https://reference.wolfram.com/language/ref/OperationDeclaration.html.
CMS
Wolfram Language. 2024. "OperationDeclaration." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/OperationDeclaration.html.
APA
Wolfram Language. (2024). OperationDeclaration. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/OperationDeclaration.html