--- id: P-REINFORCE-CAF879 category: "10_Wiki/πŸ’‘ Topics/Programming & Language" confidence_score: 0.95 tags: [] last_reinforced: 2026-04-20 github_commit: "[P-Reinforce] Mega Batch 2 - Wikified as const Assertion" --- # [[as const Assertion|as const Assertion]] ## πŸ“Œ ν•œ 쀄 톡찰 (The Karpathy Summary) > `as const` Assertion은 TypeScriptμ—μ„œ 값을 κΉŠμ€ 읽기 μ „μš©(deeply readonly) μƒνƒœλ‘œ λ§Œλ“€κ³  νƒ€μž…μ„ ν•΄λ‹Ή λ¦¬ν„°λŸ΄ κ°’μœΌλ‘œ μ’νžˆλŠ”(narrow) κΈ°λŠ₯μž…λ‹ˆλ‹€ [1]. 이λ₯Ό 톡해 κ°μ²΄λ‚˜ 배열이 λ³€κ²½λ˜μ§€ μ•Šλ„λ‘ 컴파일 νƒ€μž„μ— 보μž₯ν•˜λ©°, 더 μ •ν™•ν•œ νƒ€μž… 좔둠을 κ°€λŠ₯ν•˜κ²Œ ν•©λ‹ˆλ‹€ [1, 2]. 주둜 μ ˆλŒ€ λ³€κ²½λ˜μ–΄μ„œλŠ” μ•ˆ λ˜λŠ” ꡬ성(configuration) κ°μ²΄λ‚˜ 쑰회 ν…Œμ΄λΈ”(lookup tables)을 μ •μ˜ν•  λ•Œ μœ μš©ν•˜κ²Œ μ‚¬μš©λ©λ‹ˆλ‹€ [2]. ## πŸ“– κ΅¬μ‘°ν™”λœ 지식 (Synthesized Content) - **κΉŠμ€ 읽기 μ „μš© 및 λ¦¬ν„°λŸ΄ νƒ€μž… μΆ”λ‘ :** `as const` 단언은 λ³€μˆ˜μ˜ νƒ€μž…μ„ 넓은 λ²”μœ„μ˜ μ›μ‹œ νƒ€μž…(예: `string`) λŒ€μ‹  κ°€μž₯ ꡬ체적인 λ¦¬ν„°λŸ΄ νƒ€μž…(예: ꡬ체적인 λ¬Έμžμ—΄ κ°’)으둜 μ’ν˜€μ€λ‹ˆλ‹€ [1]. λ˜ν•œ κ°μ²΄λ‚˜ λ°°μ—΄μ˜ λͺ¨λ“  속성을 κΉŠμ€ 읽기 μ „μš©(`readonly`)으둜 λ§Œλ“€μ–΄, 값이 λ³€κ²½λ˜λŠ” 것을 λ°©μ§€ν•©λ‹ˆλ‹€ [1]. - **λΆˆλ³€μ„±κ³Ό μ•ˆμ „μ„± 확보:** 이 κΈ°λŠ₯을 μ‚¬μš©ν•˜λ©΄ μ˜λ„μΉ˜ μ•Šμ€ κ°’μ˜ 변경을 막아 컴파일 νƒ€μž„μ˜ νƒ€μž… 검증과 λŸ°νƒ€μž„μ˜ λΆˆλ³€μ„±(immutability)을 λͺ¨λ‘ 확보할 수 μžˆμŠ΅λ‹ˆλ‹€ [2]. - **`satisfies` μ—°μ‚°μžμ™€μ˜ κ²°ν•© νŒ¨ν„΄:** TypeScriptμ—μ„œ `as const`λŠ” `satisfies` μ—°μ‚°μžμ™€ κ²°ν•©ν•˜μ—¬ 자주 μ‚¬μš©λ©λ‹ˆλ‹€ [2]. 이 쑰합은 νƒ€μž… 검증(type validation)κ³Ό λΆˆλ³€μ„±μ„ λ™μ‹œμ— μ œκ³΅ν•˜λ―€λ‘œ, λ³€κ²½λ˜μ–΄μ„œλŠ” μ•ˆ λ˜λŠ” μ„€μ • κ°μ²΄λ‚˜ 룩업 ν…Œμ΄λΈ”μ„ μ•ˆμ „ν•˜κ²Œ μƒμ„±ν•˜λŠ” 데 맀우 이상적인 νŒ¨ν„΄μœΌλ‘œ ν‰κ°€λ°›μŠ΅λ‹ˆλ‹€ [2, 3]. ## ⚠️ λͺ¨μˆœ 및 μ—…λ°μ΄νŠΈ (Contradictions & RL Update) - **κ³Όκ±° λ°μ΄ν„°μ™€μ˜ 좩돌:** 지식 μžμ‚°ν™” 및 κΈ°μ‘΄ λ„€νŠΈμ›Œν¬ 연동 단계. - **μ •μ±… λ³€ν™”:** Programming & Language μΉ΄ν…Œκ³ λ¦¬μ˜ μ „λ¬Έμ„± 확보 및 링크 밀도 μ΅œμ ν™”. ## πŸ”— 지식 μ—°κ²° (Graph) - **Related Topics:** [[Readonly 유탈라타 ᄐᅑ압|Readonly]], [[라ᄐα…₯α„…α…₯α†― ᄐᅑ압 (Literal Types)|Literal Types]], [[Satisfies Operator|Satisfies Operator]] - **Projects/Contexts:** Configuration Objects, Lookup Tables - **Contradictions/Notes:** 제곡된 μ†ŒμŠ€μ—μ„œ `as const`에 λŒ€ν•œ 단독 μ„€λͺ…은 λ‹€μ†Œ κ°„λž΅ν•˜λ©° 정보가 λΆ€μ‘±ν•œ νŽΈμ΄μ§€λ§Œ, `satisfies` μ—°μ‚°μžμ™€ κ²°ν•©ν•  λ•Œ λΆˆλ³€μ˜ νƒ€μž… μ•ˆμ „ 객체(immutable, type-safe objects)λ₯Ό μƒμ„±ν•˜λŠ” 핡심적인 역할을 ν•œλ‹€λŠ” 점이 λšœλ ·ν•˜κ²Œ κ°•μ‘°λ©λ‹ˆλ‹€ [1-3]. --- *Last updated: 2026-04-18* - Raw Source: 00_Raw/2026-04-20/as const Assertion.md ---