動的型付けな言語のコード、引数疑ってる場面少なすぎて、読んでると気分がアレ＞＜(契約プログラミングとかもっと流行ってほしい・・・＞＜)