型エラーをToDoリストとして使う

どうせmergeする前に全ての型エラーを消すので

型エラーが出ている時は当然動かないのだが、型エラーを頼りにすることで、いちいち実行しないというのをやっているのであまり問題にならない

これは場合に依ると思う

テストを常に動かすべき状況もあると思う

これは、型と仕様の乖離が無いように型を定義していないといけない

動的型付言語はできない