요약 자바(Java) 언어의 타입 시스템 한계를 시험해 보기 위해, 순수 자바 리플렉션과 제네릭 메타데이터만을 활용해 하스켈(Haskell) 스타일의 '타입 클래스(Type Class)' 인스턴스 자동 해결 엔진을 구현한 기술 실험이 공개되었습니다.
작성자는 기존 객체지향 인터페이스 방식의 한계로 논의를 시작합니다. 예를 들어 두 값을 비교하는 `Equatable<T>` 인터페이스가 있을 때, 복합 제네릭 타입인 `Dup<A>`(두 요소를 담는 레코드)가 `Equatable`을 구현하려면 내부 원소 타입 `A` 역시 `Equatable<A>`를 상속해야만 합니다. 이는 `Dup`의 유연성을 크게 떨어뜨립니다. 진정한 해결책은 객체 인스턴스 메서드가 아니라 타입 자체에 동작을 정의하는 함수형 '타입 클래스' 패턴(`Eq<A>`)을 도입하는 것입니다.
이 패턴에서 각 타입은 해당 타입이 특정 인터페이스 규격을 만족한다는 증거인 '증인(Witness)' 생성 팩토리를 정적 메서드로 제공합니다. 예를 들어 `Point`는 `Eq<Point>`를 직접 반환하고, `Dup<A>`는 `Eq<A>`를 인자로 받아 `Eq<Dup<A>>`를 합성해 냅니다. 하지만 복잡하게 중첩된 타입(예: `Map<String, List<Integer>>`)의 경우 매번 개발자가 수동으로 증인 체인을 조립해야 하는 번거로움이 발생합니다.
작성자는 자바 표준 라이브러리의 `java.lang.reflect.Type` 메타데이터와 AST 파싱, 그리고 1차 단일화(First-order Unification) 알고리즘을 결합하여 런타임에 필요한 증인 인스턴스를 자동으로 탐색 및 조립하는 해결 엔진을 구현했습니다. 이는 단순 타입을 넘어 고차 타입(Higher-Kinded Types)까지 포괄하며, 언어 문법 자체를 변경하지 않고도 자바가 런타임에 얼마나 많은 타입 구조를 보존하고 타입 레벨 프로그래밍을 흉내 낼 수 있는지를 보여주는 흥미로운 실험입니다.