型推論をメッセンジャーで説明するのに苦労したからメモ（笑） 動的と静的型付けの違い 動的 = 実行時に決まる 静的 = コンパイル時に決まる それぞれの利点 動的 = コーディングが楽 静的 = エラーがチェックできる デバッグのほとんどが型に関係するからね…