型安全じゃなくてもバグを出にくくする方法ってあるんだろうか