정적 타입 검사 - 컴파일 타임, Int가 맞는지, generic을 잘 따랐는지. 정적 유형 검사는 우리의 소스코드로부터 추출할 수 있는 유형 정보에서만 작동. 동적 타입 검사 - 런 타임
출처: https://devmjun.github.io/archive/Compile-Time_vs_Run_Time_Type_checking_in_Swift