コンパイル時 vs 実行時
コンパイル時 vs 実行時 英語表記: Compile-time vs. Run-time 概要 この概念は、「型システム（静的型付け, 動的型付け, 強い型, 弱い型）→ 型システムの基礎 → 型チェック」という文脈に […]
型チェック
このカテゴリの用語
動的型検査
動的型検査 英語表記: Dynamic Type Checking 概要 動的型検査は、プログラムの実行時（ランタイム）に、変数や式の型が適切であるか、あるいは互換性があるかを検証する型チェックの手法です。これは、私たち […]
静的型検査
静的型検査 英語表記: Static Type Checking 概要 静的型検査（Static Type Checking）とは、プログラムが実行される前、通常はコンパイル（または解釈）の段階で、ソースコード内の変数や […]