動かす前にバグが見つかる仕掛けがちゃんとあるなら
動的型付けでも構わんよ