검사와 지정 - 다른 언어