[논문 리뷰] Mixing the Objective Caml and C# Programming Models in the .Net Framework

Emmanuel Chailloux, Grégoire Henry외 1명|arXiv (Cornell University)|2007. 05. 10.

Logic, programming, and type systems참고 문헌 3인용 수 3

한 줄 요약

이 논문은 .NET 프레임워크 상에서 Objective Caml과 C# 간의 원활한 상호운용성을 가능하게 하는 코드 생성기인 O’Jacaré.net을 제안한다. 이를 위해 상호운용성을 위한 공통의 IDL(인터페이스 정의 언어)을 정의하고, Caml의 기능형 객체 모델과 C#의 클래스 기반 모델 간의 의미론적 및 타입 차이를 메우기 위해 래퍼 클래스를 생성한다. 이로써 양 방향의 런타임 다态 바인딩, 타입 안전한 통신, 라이브러리 상호 참조가 가능해지며, 둘 다 정적 타입 체킹을 유지한다.

ABSTRACT

We present a new code generator, called O'Jacare.net, to inter-operate between C# and Objective Caml through their object models. O'Jacare.net defines a basic IDL (Interface Definition Language) that describes classes and interfaces in order to communicate between Objective Caml and C#. O'Jacare.net generates all needed wrapper classes and takes advantage of static type checking in both worlds. Although the IDL intersects these two object models, O'Jacare.net allows to combine features from both.

연구 동기 및 목표

• Objective Caml과 C# 간의 상이한 객체 모델과 타입 체계에도 불구하고 .NET 프레임워크 상에서 원활한 상호운용성을 제공하기 위해.
• C# 라이브러리와 런타임 기능에 접근할 수 있도록 하되, Objective Caml의 정적 타입 안전성과 완전한 타입 추론을 유지하기 위해.
• C# 코드가 Caml 객체를 호출하고, 반대로 Caml 코드가 C# 객체를 사용할 수 있도록 하되, Caml 컴파일러나 런타임을 수정하지 않도록 하기 위해.
• Caml의 개방형 다형성 객체 시스템과 C#의 명시적 클래스 기반 정적 타입 모델을 통합하고 타입 안전하게 결합하는 방법을 제시하기 위해.
• 기능형 프로그래밍과 명령형 프로그래밍 모델을 .NET 생태계 내에서 통합하기 위한 실용적이고 확장 가능한 솔루션을 제공하기 위해.

제안 방법

• Objective Caml과 C# 간의 상호운용성을 위한 최소한의 공통 IDL(인터페이스 정의 언어)을 설계하여 클래스 및 인터페이스를 기술하기 위해.
• IDL에서 자동으로 래퍼 클래스를 생성하여 Caml의 개방형 다형성 객체 유형과 C#의 명시적 클래스 기반 유형 간의 간극을 메우기 위해.
• 양 방향으로 메서드 디스패치를 위한 런타임 다态 바인딩을 사용하여 언어 경계를 넘는 동적 메서드 해석을 가능하게 하기 위해.
• 공통의 최상위 유형(top)에서 특정 C# 유형으로의 다운캐스트를 안전하게 수행하기 위해 Caml에 타입 캐스트 함수를 구현하기 위해.
• .NET 공통 타입 시스템(CTS)과 공통 언어 런타임(CLR)을 활용하여 런타임 시 타입 안전성과 상호운용성을 보장하기 위해.
• 기존에 자바를 대상으로 한 O'Jacaré 프레임워크를 확장하여 C#과 .NET을 지원하도록 개선하고, OCamIL의 관리 코드 모델에 맞게 적응하기 위해.

실험 결과

연구 질문

• RQ1 기본적으로 다른 객체 모델을 가진 두 언어—Objective Caml의 개방형 다형성 객체와 C#의 명시적 클래스 기반 객체—가 .NET 플랫폼 상에서 안전하고 효율적으로 상호운용될 수 있는가?
• RQ2 Caml의 타입 추론과 C#의 정적 타입 체킹을 언어 경계를 넘어서도 얼마나 잘 유지할 수 있는가?
• RQ3 서로 다른 컴포넌트 간의 상호 의존성을 표현하기 위해 상호 참조나 타입 순환을 피하면서도 공통 IDL를 설계할 수 있는가?
• RQ4 상호 참조가 필요한 컴포넌트(예: 상호 재귀)의 경우 기존의 상호운용 패턴에서 발생하는 제약 사항은 무엇이며, 이를 어떻게 극복할 수 있는가?
• RQ5 데리버리티, 제네릭, 이벤트 처리와 같은 고급 .NET 기능들이 타입 안전성을 해치지 않도록 상호운용 계층을 통해 어떻게 노출시킬 수 있는가?

주요 결과

• O’Jacaré.net는 공통 IDL와 자동 래퍼 생성을 통해 Objective Caml과 C# 간의 이중 방향 상호운용성을 성공적으로 실현하였다.
• 시스템은 양 언어 모두에서 정적 타입 체킹을 유지하여 언어 경계를 넘어서도 타입 안전성을 보장한다.
• 양 방향으로 런타임 다态 바인딩이 지원되어 Caml과 C# 객체 간의 동적 메서드 디스패치가 가능하다.
• 공통 최상위 유형(top)에서 특정 C# 유형으로의 다운캐스트는 타입 불일치 시 예외를 발생시키는 안전한 타입 캐스트 함수를 통해 구현되었다.
• 레이트레이서 케이스 스터디를 통해 종단 간 상호운용성이 입증되었으며, Caml 기반 렌더링 엔진이 C# GUI에서 제어되며, 픽셀 렌더링 콜백이 경계를 넘어서도 정상적으로 작동함을 보였다.
• 주요 제한점은 상호 재귀적 컴포넌트(예: C#의 Display 클래스가 Caml의 Render 클래스를 필요로 하고, 반대로 Caml의 Render 클래스가 C#의 Display 클래스를 필요로 함)에서 발생한다. 현재의 IDL 모델은 원본 타입과 래퍼 타입 간의 상속이 없기 때문에 상호 의존성을 표현할 수 없어 타입 오류가 발생한다.