Welterweight Go: 복싱, 구조적 서브타이핑(Structural Subtyping), 그리고 제네릭(Generics) (확장 버전)

요약

Go 언어의 제네릭과 구조적 서브타이핑 간의 복잡한 상호작용을 다루는 새로운 핵심 모델 WG(Welterweight Go)를 소개합니다. 저수준 언어 LWG를 통해 Go의 런타임 메커니즘을 모델링하고, 별도 컴파일과 런타임 코드 생성 없는 구현 방식을 제안합니다.

핵심 포인트

• Go의 제네릭과 구조적 서브타이핑 결합 모델인 WG 소개
• 런타임 메커니즘 모델링을 위한 저수준 언어 LWG 개발
• 별도 컴파일 및 런타임 코드 생성 없는 구현 가능성 증명
• 런타임 타입 변환과 어댑터 메서드를 활용한 컴파일 전략