対照的に純粋な動的型付けの処理系では、型は''変数''ではなく''値''に付けられるので、上のようなコードが実行できる.
純粋な