✓ 동적 타입 & 정적 타입

✓ 구조적 타입 & 명목적 타입

✓ 덕 타이핑

✓ 상위 타입 & 하위 타입

✓ 건전성