- 어휘 구조 →Source spellings, reserved and contextual words, comments, line breaks and diagnostic positions.
- 리터럴과 템플릿 →Literal spellings, values, string interpolation, and tagged templates.
- 타입 →Defines type forms, compatibility, and shared inference rules.
- 바인딩과 범위 →Defines how names are introduced, resolved, and reassigned.
- 표현식과 연산자 →Defines expression formation, grouping, and operator behavior.
- 함수와 제네릭 →Functions relate parameter types, a body, and a result type. A named function can declare type parameters and require protocol bounds.
- 레코드와 열거형 및 새 타입 →Declare data types, construct their values, and check record updates and generic construction.
- 프로토콜과 구현 →Declare protocol requirements, provide implementations, and understand conformance, receiver methods, and resource bindings.
- 패턴 매칭 →Defines patterns, matching, and accepted matches.
- 컬렉션과 컴프리헨션 →Choose collection construction forms and check the rules for literals, array spread, and comprehensions.
- 블록과 제어 흐름 →Blocks group execution and produce final values. Conditional branches, loops, explicit transfers, and deferred actions determine which code runs next.
- 실패와 전파 →Read and check Result propagation and callable-local Result or Option propagation with postfix
?. - 모듈과 가시성 →Use this page to split a source program into files and choose which declarations other files can access.
- 동시성 →Write and check concurrent expressions with this reference. The examples cover result fields, duration spellings, and rejected forms.
- 파생된 Show 출력 →Use derived Show to inspect record values. The output includes the record name, declared fields, and rendered field values.