Go 언어의 유니언 타입 도입 필요성

• 유니언 타입 도입 목적: 옵셔널 타입 패턴 구현
• null 값 명시적 처리 강제화 요구

옵셔널 타입과 비null 가능 타입

• 옵셔널 타입: 에러 없는 결과 값 보장
• 비null 가능 타입 필요성: null 값 확인 강제

Go 언어의 현재 제약

• null이 될 수 없는 타입 및 명시적 null 표현 부족
• 제로 값 개념 복잡성 증대: nil 포인터 및 다양한 타입 사용

Non-nullable Types의 중요성

• 비null 가능 타입 도입 시 에러 없는 결과 값 보장
• Go의 지원 부족: null 값 확인 필수

제로 값과 Go 타입 시스템

• 제로 값: Go의 타입 시스템 깊숙이 통합
• 유니언 타입 도입의 장애물: 제로 값 반환 가능성

결론: 유니언 타입 도입 가능성

• 제로 값 통합 변경 의지 부족: 유니언 타입 도입 어려움
• 도입 시 메모리 절약 목적 가능성: 복잡성 증가 예상

참고 자료

• Union type: Wikipedia
• Option type: Wikipedia
• Go Issue #57644 논의