プログラミング言語で分類される4つの型システム