신비로운 타입 에러와 작별: PolySubML이 타입 추론 에러 메시지를 개선하는 방법
2025-05-23
PolySubML은 전역 타입 추론, 서브타이핑, 고급 다형성을 결합한 프로그래밍 언어입니다. 이 글에서는 PolySubML이 어떻게 좋은 타입 에러 메시지를 설계하는지 살펴보고, 기존 언어들이 타입 추론 에러 메시지 개선에 있어 종종 부족한 이유를 설명합니다. 저자는 다섯 가지 규칙을 제안합니다. 1. 추측하거나 백트래킹하지 마세요. 2. 성급한 결론을 내리지 마세요. 3. 사용자에게 의도를 명확히 해달라고 요청하세요. 4. 사용자가 명시적인 타입 주석을 작성할 수 있도록 허용하세요. 5. 런타임 실행 모델에 정적 타입 추론을 포함하지 마세요. 이러한 규칙을 따름으로써 PolySubML은 타입 추론과 관련된 많은 일반적인 문제를 해결하고 코드 디버깅 가능성을 크게 향상시킵니다.