WolframのWebサイトのコンテンツとインタラクトしたりフォームを送信したりするためには，JavaScriptを有効にしてください．有効にする方法

OperationDeclaration

OperationDeclaration[type,op,typedfun]

type の操作 op に使う型付き関数を宣言する．

詳細

OperationDeclarationは，宣言の記号表現であり単独では評価しない．
OperationDeclarationの型付き関数は，Typed[{t₁,t₂,…}t_out]@Function[{x₁,x₂,…},body]の形式でよい．
TypeDeclarationで型について宣言された操作はどれも，使用される型についてのOperationDeclarationが必要である．
OperationDeclarationの型は，ForAllTypeを使って多様な形で書くことができる．
OperationDeclarationは使用すると，操作として使われる関数に命名する必要がなくなる．

例題

例 (1)

単一操作による製品型の宣言：

操作の宣言：

型の例を作成する関数と"Increment" 操作を呼び出す関数をコンパイルする：

例を作成する：

"Increment"操作を呼び出す．0というもとの値が返される：

"Increment"操作を再度呼び出す．今回は1という新しい値が返される：

トップへ