[论文解读] Mixing the Objective Caml and C# Programming Models in the .Net Framework

Emmanuel Chailloux, Grégoire Henry+1 more|arXiv (Cornell University)|May 10, 2007

Logic, programming, and type systems参考文献 3被引用 3

一句话总结

本文提出 O’Jacaré.net，一种代码生成器，通过定义共享的 IDL（接口定义语言）实现在 .NET Framework 上 Objective Caml 与 C# 之间的无缝互操作。它生成包装类以弥合 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 Framework 上的无缝互操作。
• 在保留 Objective Caml 的静态类型安全性和完整类型推断的同时，支持对 C# 库和运行时特性的访问。
• 允许双向使用组件——C# 代码可调用 Caml 对象，反之亦然——而无需修改 Caml 编译器或运行时。
• 以统一且类型安全的方式解决将 Caml 的开放、多态对象系统与 C# 的基于类的静态类型模型相结合的挑战。
• 为在 .NET 生态系统中集成函数式与命令式编程模型提供一种实用且可扩展的解决方案。

提出的方法

• 设计一种最小化、共享的 IDL（接口定义语言），用于描述在 Objective Caml 与 C# 之间可互操作的类和接口。
• 从 IDL 自动生成包装类，以协调 Caml 的开放、多态对象类型与 C# 的名义、基于类的类型之间的差异。
• 在两个方向上使用后期绑定进行方法分发，支持跨语言边界的动态方法解析。
• 在 Caml 中实现类型强制转换函数，以安全地从公共根类型（top）向下转换为特定的 C# 派生类型。
• 利用 .NET 公共语言运行时（CLR）和公共类型系统（CTS）确保运行时的类型安全和互操作性。
• 扩展 O'Jacaré 框架（最初用于 Java）以支持 C# 和 .NET，适配 OCamIL 的托管代码模型。

实验结果

研究问题

• RQ1 如何使两种具有根本不同对象模型的编程语言——Objective Caml 的开放、多态对象与 C# 的名义、基于类的对象——在 .NET 平台上实现安全且高效的互操作？
• RQ2 在跨越语言边界的 Caml 类型推断与 C# 静态类型之间，静态类型安全能在多大程度上被保留？
• RQ3 能否设计一种共享 IDL，以表达 Caml 与 C# 组件之间的相互依赖，而无需互斥递归或类型循环？
• RQ4 当组件相互依赖（如互递归）时，现有互操作模式存在哪些局限性，如何克服？
• RQ5 如何通过互操作层暴露 .NET 的高级功能（如委托、泛型和事件处理），同时不破坏类型安全？

主要发现

• O’Jacaré.net 通过共享 IDL 和自动包装类生成，成功实现了 Objective Caml 与 C# 之间的双向互操作。
• 该系统在两种语言中均保留了静态类型检查，确保即使在语言边界之间也具备类型安全性。
• 在两个方向上均支持后期绑定，允许 Caml 与 C# 对象之间的动态方法分发。
• 从公共根类型（top）到特定 C# 派生类型的下转换通过安全的类型强制转换函数实现，类型不匹配时会抛出异常。
• 光线追踪器案例研究展示了端到端的互操作性：基于 Caml 的渲染引擎可由 C# GUI 驱动，像素渲染回调在边界处正常工作。
• 一个关键限制出现在相互递归的组件中（例如，C# 的 Display 类需要 Caml 的 Render 类，反之亦然），由于原始类型与包装类型之间缺乏继承关系，当前的 IDL 模型无法表达相互依赖，否则将导致类型错误。