Abstract:The development of software applications using multiple programming languages has increased in recent years, as it allows the selection of the most suitable language and runtime for each component of the system and the integration of third-party libraries. However, this practice involves complexity and error proneness, due to the absence of an adequate system for the interoperability of multiple programming languages. Developers are compelled to resort to workarounds, such as library reimplementation or language-specific wrappers, which are often dependent on C as the common denominator for interoperability. These challenges render the use of multiple programming languages a burdensome and demanding task that necessitates highly skilled developers for implementation, debugging, and maintenance, and raise doubts about the benefits of interoperability. To overcome these challenges, we propose MetaFFI, a pluggable in-process indirect-interoperability system that allows the loading and utilization of entities from multiple programming languages. This is achieved by exploiting the less restrictive shallow binding mechanisms (e.g., Foreign Function Interface) to offer deep binding features (e.g., object creation, methods, fields). MetaFFI provides a runtime-independent framework to load and \emph{xcall} (Cross-Call) foreign entities (e.g., functions, objects). MetaFFI uses Common Data Types (CDTs) to pass parameters and return values, including objects and complex types, and even cross-language callbacks. The indirect interoperability approach of MetaFFI has the significant advantage of requiring only $2n$ mechanisms to support $n$ languages, as opposed to the direct interoperability approaches that need $n^2$ mechanisms. We have successfully tested the binding between Go, Python3.11, and Java in a proof-of-concept on Windows and Ubuntu.

MFS - a program development system based on rewriting method

FMS: Functional Programming as a Modelling Language

Tool MKSF for Acquiring Super-Function in Java

FSML: A language for web based simulation

A Human Interface Tool For System Modeling And Application Development Based On Multilevel Flow Models

A new method for FMS modeling and formal verification.

Multi-Programming Language Sandbox for LLMs

Experimenting a New Programming Practice with LLMs

FabULous Interoperability for ML and a Linear Language

An Equation-Based Application Framework for Hybrid Simulation

A scalable module system

A Program Manipulation Middleware and Its Applications on System Security.

A Systematic Translation Validation Framework for MLIR-Based Compilers

MOF compliant fundamentals for multi-domain system modeling and simulation

Multi-Purpose Simulation System for Flexible Manufacture Systems

A Sysml-Based Modeling Language For Mechatronic System Architecture

A Domain-Specific Language and Editor for Parallel Particle Methods

Design and implementation of modeling language AML

MetaFFI -- Multilingual Indirect Interoperability System

A MDE Based Approach for Bridging Formal Models

Minimization Strategies for Maximally Parallel Multiset Rewriting Systems