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 语言. 2024. "OperationDeclaration." Wolfram 语言与系统参考资料中心. Wolfram Research. https://reference.wolfram.com/language/ref/OperationDeclaration.html.
APA
Wolfram 语言. (2024). OperationDeclaration. Wolfram 语言与系统参考资料中心. 追溯自 https://reference.wolfram.com/language/ref/OperationDeclaration.html 年