타입으로 견고하게 다형성으로 유연하게 ‐ 타입 검사 훑어보기 - thought-corner/backend-roadmap GitHub Wiki

타입

• 프로그램에 존재하는 값들을 그 능력에 따라 분류한 것

타입 추론

• 타입 표시 없이 타입 검사기가 타입 검사할 수 있게 하는 기능이다.
• 타입 표시가 있을 때에도 검사를 통과할 프로그램에 한해 타입 표시를 생략할 수 있다.

다형성

• 타입 검사기의 오판을 줄이는 안전한 기능이다.
• 타입 안정성을 해치지 않는다.
• 타입 검사기의 오판을 획기적으로 줄일 수 있다.
• 개발자가 쉽게 이해할 수 있는 오류 메세지 제공한다.

다형성의 종류

• 서브타입에 의한 다형성
• 매개변수에 의한 다형성
• 오버로딩에 의한 다형성