LangDev

안녕하십니까. 그간 눈팅으로 많은 것들을 배우다가 처음으로 글을 올려봅니다.

요즘 관심사 중 하나가 정적 타입 언어에서 효율적인 덕타이핑을 구현할 수 있는가입니다. 여기에서 효율적이라 함은 실행 시간에서 유한한 단계 내로, 즉 O(1)의 시간 복잡도로도 효율적으로 해당 함수를 호출할 수 있음을 의미하고, 정적 타입이라 함은 (유보되었지만) C++0x의 컨셉트와 비슷하게 타입 체킹까지 컴파일 시점에 완전하게 이루어짐을 의미합니다. 물론 모든 클래스-모든 함수 심볼에 대한 2차원 함수 포인터 배열을 만들면 무척 간단하게 구현이 가능합니다만 이건 제외하도록 합시다 OTL

이에 대해 관심을 가지는 이유로는 타입 안전성의 우월함 때문... 은 아니고 남들도 다 할 수 있는 주제는 별로 재미가 없어서 그렇습니다. (...) 그리고 정적 타입 언어의 지향점 중 하나가 요구 인터페이스와 구현 인터페이스의 우아한 분리인데, 덕 타이핑이 그 끝에 닿아있기 때문이죠.

일단 일반적인 OOP의 다형성 구현은 가상 함수 테이블을 이용하는데, 이 경우는 적용 가능한 모든 타입들에 대해 가상 함수들이 가지는 vtable상의 오프셋이 완전히 일치하기 때문에 1번의 간접 호출만으로 원하는 함수가 불려 나오는, 비교적 효율적인 구현이 가능합니다. 하지만 덕타이핑으로 넘어간다면 이렇게 간단한 해법이 나오질 않습니다.

이에 대해 C++0x의 컨셉트(이건 보류되었지만요.) 및 타 언어의 유사 기능들은 아예 각각의 타입들에 대해 똑같은 코드 판본을 찍어내는 방식으로 대응합니다. 하지만 이 경우는 코드 비대화가 발생하죠. 물론 수행 시간에 어휘 심볼들을 일일히 뒤지는 것보단야 효율적이겠지만.

Go 같은 경우도 덕타이핑을 구현했다고 해서 구경을 해봤는데, 어떻게 구현을 했는지는 잘 모르겠습니다. Haskell의 타입 클래스 역시 비슷한 느낌이지만 역시나 구현이 어떻게 되었는지는 잘 모르겠네요.