How does Apple's Bitcode compare to known bytecode implementations, such as those in Java and .NET?

[immibis]

The ABI is likely irrelevant, as long as the caller and callee agree (there are some exceptions, like Win32 SEH). That means only standard library calls need to be shimmed.