타입 좁히기, 제네릭, 클로저, 참조가 코드의 의미와 안전성에 어떤 역할을 하는지 봅니다. — 1개 항목
조건문으로 값의 가능한 타입을 줄여, 분기 안에서 안전하게 해당 타입의 연산을 사용합니다.
