# 제한된 다형성 ## 개요 **제한된 다형성**(Bounded Polymorphism)은 프로그래밍 언어의 **타입 시스템**에서 다형성을 특정 조건 또는 제약 하에 허용하는 기법이다. 일반적인 다형성은 어떤 타입이든 처리할 수 있도록 허용하지만, 제한된 다형성은 타입이 특정 **인터페이스**, **슈퍼타입**(super-type), 또는 **속성**...

# 정적 타입 추론 정적 타입 추론(Static Type Inference)은 프로그래밍 언어에서 변수나 표현식의 타입을 **런타임이 아닌 컴파일 타임에 자동 결정하는 기법**을 말합니다 이 기법은 프로그머가 타입을 명시하지 않아도, 코드의 구조와 사용 패턴을 분석하여 각 식별자의 타입을 추론함으로써 타입 안정성과 코드결성을 동시에 달성할 수 있도록 도와...

# 트레이트 () ## 개요 **트레이트**()는 객체지 프로그래밍과형 프로그래의 경계를나드는 고급 타입 시스템에서 중요한 개념으로, 특정 타입이 가져야 할 동작(메서드)이나 속성을 정의하는 추상적 인터페이스입니다. 트레이트는 단순한 인터페이스를 넘어서 재사용 가능한 코드 조각으로서의 기능도 수행하며, 다중 상속의 문제를 안전하게 해결하는 데 유용하게 ...