Without static type checking, even code coverage tests with 100% coverage may be unable to find such type errors.
정적 형 검사를 하지 않을 경우, 코드 범위 테스트는 100% 범위에서도 이러한 자료형 오류를 발견하지 못할 수 있다.