この式は動的型付けされた値$⟨$exp$\mathrm{⟩}$を$⟨$ty$\mathrm{⟩}$にキャストする． $⟨$exp$\mathrm{⟩}$の型は$\tau$ Dynamic.dynで なければならない． この式の型は$⟨$ty$\mathrm{⟩}$である．

この式を評価すると，$⟨$exp$\mathrm{⟩}$が評価され， 動的型付けされた値$v$を得る． この式の値は，$v$の構造と$⟨$ty$\mathrm{⟩}$に依存して決まる． その規則は以下の通りである．

• •

  $⟨$ty$\mathrm{⟩}$がDynamic.void Dynamic.dynのとき， この式の値は$v$である．

• •

  $⟨$ty$\mathrm{⟩}$が$\tau$ Dynamic.dyn型のとき， $v$が$\tau$型のビューを持つ（$v$の部分構造を$\tau$型の値として取り出せる） ならば，この式の値は$v$である． そうでなければDynamic.RuntimeTypeError例外を発生させる．

• •

  $⟨$ty$\mathrm{⟩}$がDynamic.dyn型を含まないとき， $v$の型が$⟨$ty$\mathrm{⟩}$と一致するならば，この式の値は $v$を$⟨$ty$\mathrm{⟩}$型にキャストした値である． そうでなければDynamic.RuntimeTypeError例外を発生させる．

• •

  $⟨$ty$\mathrm{⟩}$がDynamic.dyn型を含む型のとき， $v$および$⟨$ty$\mathrm{⟩}$の構造に対して再帰的に以上の規則を適用する．

例えば，以下のようにして作ったレコードのリストに対して

val r = Dynamic.dynamic [{name = "Joe", age = 21}, {name = "Sue", age = 31}];

以下のキャストは全て正しい．

_dynamic r as {name:string, age:int} list;
_dynamic r as {name:Dynamic.void Dynamic.dyn, age:int} list;
_dynamic r as Dynamic.void Dynamic.dyn;
_dynamic r as Dynamic.void Dynamic.dyn list;
_dynamic r as {name:string, age:int} Dynamic.dyn list;
_dynamic r as {name:string} Dynamic.dyn list;
_dynamic r as {name:string, age:int} list Dynamic.dyn;
_dynamic r as {age:int} list Dynamic.dyn;

$v$自体は必ずしもMLで型がつく構造でなくてもよい． 例えば以下のようにして作ったヘテロジニアスなリストに対して

val l = Dynamic.fromJson
          "[{\"name\":\"Joe\", \"age\":21},\
          \{\"name\":\"Sue\", \"grade\":2.0},\
          \{\"name\":\"Robert\", \"nickname\":\"Bob\"}]";

以下のキャストは全て正しい．

_dynamic l as Dynamic.void Dynamic.dyn;
_dynamic l as Dynamic.void Dynamic.dyn list;
_dynamic l as {name:string} Dynamic.dyn list;
_dynamic l as {name:string} list Dynamic.dyn;
_dynamic l as {name:Dynamic.void Dynamic.dyn} Dynamic.dyn list;

この式を分割コンパイルモードで用いる場合， "reify.smi"を_requireする必要がある．