30줄의 Metaclass 구현으로 Python 내 Rust-style ADT 구현

Context

Python 3.10의 match 문 도입에도 불구하고 각 Variant가 서로 다른 필드를 가지는 Closed Set 타입 정의 기능의 부재. 기존 Union 타입이나 isinstance 체이닝 방식은 보일러플레이트 코드가 많으며 타입 정보의 응집도가 낮다는 한계 존재.

Technical Solution

• Case 클래스를 통한 Variant별 필드 정의 및 메타데이터 기록 구조 설계
• EnumMeta 메타클래스를 활용하여 클래스 생성 시점에 Case 객체를 실제 Dataclass로 자동 변환
• make_dataclass를 통한 동적 클래스 생성 및 부모 클래스 상속을 통한 Class Pattern 매칭 기반 마련
• match_args 속성을 명시적으로 설정하여 match 문에서의 효율적인 Positional Destructuring 구현
• 부모 클래스 하위에 Variant를 그룹화하여 닫힌 네임스페이스(Closed Namespace) 기반의 타입 정의 달성