타입 클래스의 일관성: Swift, Rust, Scala, Haskell 비교
2025-03-12
타입 클래스는 Haskell, Swift, Rust, Scala와 같은 언어에서 사용되는 일반적인 프로그래밍 기법입니다. 하지만 편리한 암시적 프로그래밍은 타입 추론의 모호성을 야기하여 일관성(프로그램이 정확히 하나의 의미를 갖는 성질)을 해칠 수 있습니다. 연구 커뮤니티는 의견이 분분합니다. 맥락에 의존적인 해결책을 지지하는 쪽과 모호성을 피하기 위해 전역적으로 고유한 인스턴스를 주장하는 쪽이 있습니다. 본 논문에서는 이 네 가지 언어가 타입 클래스의 일관성을 다루는 방식을 비교하여, 구문상의 차이에도 불구하고 고유한 인스턴스의 제한을 우회하는 전략이 놀라울 정도로 유사함을 밝힙니다.