型について考え直す。単純に型と言っても色々奥が深い。実装に依存した部分もあるし、概念のみの部分もあるし。とりあえず、型と言って思い付くだけでも 変数の型 型無し 宣言有り 宣言無し(型推論) データの型 型無し 宣言有り (宣言無し(は今のところ無さ…