型
「型」は「データの集合」の一種
コンピュータ (ハードウェア) で扱うことのできるデータの種類のこと。
同じ演算が適用できるデータの集まり。
型注釈
const str: String = "abc"
型推論
const str = "abc"
静的型付け
プログラム実行前に変数のデータ型を決定する
コンパイラ
が
構文エラー
+
型エラー
を検出してくれる
動的型付け
プログラム実行時に変数のデータ型を決定する
コンパイラは
構文エラー
だけ検出してくれる
型=命題