(programming) A system or algorithm that verifies values against their required data types, according to the type system of the language.
typechecker
型チェッカーは、関数の宣言された戻り型と実際の値との不一致を指摘しました。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★