Видать, там настолько своя атмосфера в коммьюнити, что если такое и есть/будет, это будет такой маргинальщиной, что даже какая-нибудь фреже на жвм почувствует себя нужной.
Как сейчас, кстати, устроена компиляция Kotlin MPP в иос? Он там в какой-то специфичный для системы эпла байткод компилируется? Или в obj-c\swift? Или ещё что?
Там ллвм, оно собирается в нативные бинари. За счёт того, что оно собирается именно эппловым форком ллвм, специфичный биткод, нужный эпплу, там поддерживается. Плюс язык обеспечивает интероп с обж-с и немного со свифтом.