Antigravity Agent
2.5 KiB
2.5 KiB
id: P-Reinforce-AUTO-GEPO-001 category: "10_Wiki/💡 Topics/AI" confidence_score: 0.97 tags: [auto-reinforced, generics, polymorphism, typescript, type-safety, code-reuse, software-Architecture] last_reinforced: 2026-04-20
Generics-and-Polymorphism
📌 한 줄 통찰 (The Karpathy Summary)
"유연한 틀, 견고한 타입: 데이터의 구체적인 '값'이 아닌 '형태'를 추상화하여, 하나의 코드가 다양한 타입을 안전하게 수용(Generics)하게 하거나, 같은 이름의 명령이 객체마다 다르게 행동(Polymorphism)하게 만드는 상위 아키텍처 기술."
📖 구조화된 지식 (Synthesized Content)
제네릭과 다형성(Generics-and-Polymorphism)은 소프트웨어의 재사용성과 유연성을 극대화하는 프로그래밍 기법입니다.
- Generics:
- Abstraction: 함수나 클래스를 정의할 때 타입을 고정하지 않고 '변수()'로 둠.
- Type Safety: 런타임이 아닌 컴파일 타임에 타입의 정합성 정책 보장. (Reliability와 연결)
- Polymorphism:
- Ad-hoc: 연산자 오버로딩처럼 이름만 같은 경우.
- Parametric: 제네릭을 이용해 소스 코드를 바꾸지 않고 다양한 타입 처리.
- Subtype: 상속을 통해 부모 타입 변수에 자식 객체를 담아 각자의 행동 정책(Overriding) 수행. (Technical-Architecture와 연결)
⚠️ 모순 및 업데이트 (Contradictions & RL Update)
- 과거 데이터와의 충돌: 과거에는 과도한 추상화 정책이 성능 저하 정책이나 복잡도 정책만 높인다고 우려했으나, 현대 정책은 강력한 타입 추론 정책(Inference)을 지원하는 TS 같은 환경 정책에서 '중복 코드 정책 제거'를 위한 최고의 무기로 인정받음(RL Update).
- 정책 변화(RL Update): 이제는 단순 타입 공유 정책을 넘어, 복잡한 조건부 타입 정책(Conditional Types)을 활용해 입력 타입 정책에 따라 출력 타입 정책이 지능적으로 변하는 '메타 프로그래밍 정책' 수준으로 진화함. (Custom-ESLint-Rules와 연결)
🔗 지식 연결 (Graph)
- Reliability, Technical-Architecture, Custom-ESLint-Rules, TS-Declaration-Files, Discriminated-Unions, Modularity
- Key Concept: Parametric Polymorphism.