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

TypeOf

TypeOf[expr]

expr の型を与える．評価はしない．

TypeOf[expr,Typed[x,ty]]

expr 内の x のインスタンスの型は ty であると仮定する．

TypeOf[expr,{Typed[x₁,ty₁],Typed[x₂,ty₂],…}]

x_iの型が ty_iであると仮定する．

詳細とオプション

TypeOfは，解釈されたプログラムとコンパイルされたプログラムの両方で使うことができる．
TypeOfはWolfram Compilerの型推論システムを使用する．
TypeOfはWolfram Compilerでコンパイル可能な式と型しか受け付けない．

例題

すべて開くすべて閉じる

例 (3)

式の型を求める：

部分式の型を指定するだけで式の型を求める：

TypeOfを使ってプログラムをコンパイルする：

スコープ (2)

配列を使ってプログラムの型を求める：

TypeOfは，評価されたコードの場合と同様にコンパイルされたコード中のそれ自身の引数を評価しない：

特性と関係 (2)

TypeOfは入力の型をこれを評価せずに推測する：

TypeOfは，事実上，FunctionCompileによって生成されたCompiledCodeFunctionの戻り型をはるかに速く与える：

考えられる問題 (1)

TypeOfはコンパイルされたプログラムの型しか推測できない：

トップへ