型システム

プログラムに含まれるエラーを実行前に検知したいという試み