このチェックリスト云々の話、なんでプログラミングで関数の引数等に型システムが必要なのかって話とかなりの面で共通する話かも＞＜