静的型付け言語の実行時システムは型無し
動的型付け言語は実行時システムが型付き