The BEAM VM (Erlang, Elixir) does this with what’s called "Core Erlang", used as lower-level targets before compiling to the BEAM primitives.

https://blog.stenmans.org/theBeamBook/#_compiler_pass_core_e...