(computing) The process of verifying whether a given value belongs to a certain data type.
typechecking
コンパイラの型検査が、型の不一致がある値を拒否して実行時エラーを防ぎました。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★