Yes, because they rely on the compiler (for a specific language) to build and deploy only what the application depends on. The main examples I know of are Mira

Yes, because they rely on the compiler (for a specific language) to build and deploy only what the application depends on. The main examples I know of are Mirage (OCaml compiler) and IncludeOS (C++ compiler). Though, I think there are experimental / research systems that try to understand a program composed of multiple languages that each compile to LLVM, or anything that compiles to JVM bytecode. So those might not be limited to a single language.