LEGB 규칙 기반의 Python Scope 제어를 통한 상태 관리 최적화

Context

Python의 기본 변수 할당 메커니즘은 함수 내 할당문을 Local Scope로 자동 바인딩하는 구조임. 이로 인해 중첩 함수 내에서 외부 스코프의 변수를 수정하려 할 때 UnboundLocalError가 발생하는 제약 사항이 존재함.

Technical Solution

• LEGB(Local $\to$ Enclosing $\to$ Global $\to$ Built-in) 우선순위 기반의 Name Resolution 흐름 적용
• global 키워드를 통한 Module-level Namespace 직접 바인딩으로 함수 간 상태 공유 구조 설계
• nonlocal 키워드를 활용하여 Enclosing Scope의 변수를 Cell Object로 래핑하고 Closure를 통한 상태 유지 구현
• 컴파일 타임의 Symbol Table 스캔을 통해 할당 대상의 Scope를 명시적으로 결정함으로써 런타임 바인딩 모호성 제거
• Cell Variables 메커니즘을 통한 중첩 함수 간 동일 메모리 참조 공유로 경량 상태 머신 구축