動的型付け...変数の型をプログラムの実行前に規定しない。型宣言が不要。 静的型付け...変数の型をプログラムの実行前に規定する。型宣言が必要。

開発では事前に仕様を定義して、その仕様に基づいてプログラムを作成する。しかし中には様々な理由で仕様がない（あってもほとんど意味がない）まま開発する場合がある。 その場合はできた実装が仕様である。こうなると当然テストケースの作成などはできない…

次元の呪いとは、高次元データの場合データのほとんどが原点から遠い場所に集中していること。 高次元空間の球は体積のほとんどが表面付近に集中。 高次元空間ではメロンパンのほとんどは皮。 mathwords.net

質問： 型とはなんですか？ 回答：値の意味です。 あえてプログラミング言語に限定せず、NW・IO・HW等も含む広義の意味でのコンピュータがやり取りするのは2進数の羅列だけである。そうした2進数の羅列を意味づけし解釈するには「型」が必要となる。この意味…