Check out project manifold[1]. It integrates languages at the type system level using a technique the project labels “type manifold”, which is described as JIT

Check out project manifold[1]. It integrates languages at the type system level using a technique the project labels “type manifold”, which is described as JIT *static* code generation. This project targets the JVM, but the general model could be adopted with any static type system / compiler. 1. https://github.com/manifold-systems/manifold#what-can-you-do-with-manifold https://github.com/manifold-systems/manifold#what-can-you-do...