Можно ли использовать LLVM IR как универсальный язык для переноса между языками программирования?

Question

Я использую непонятный язык программирования, который не имеет привилегий иметь столько вариантов в отношении сторонних библиотек, сколько популярные языки. Язык, который я использую, является гибким, и его довольно легко изменить. Скажем, язык Common Lisp. Предположим также, что в CL есть компилятор, который компилируется в LLVM, а библиотека language + (скажем, C ++ и OpenCV), которую я хочу использовать из CL, также имеет компилятор LLVM. Так могу ли я использовать LLVM IR форму OpenCV в качестве псевдотранспиляции?

Answer 1

Такого рода вещи требуют соответствия структуры / объекта, сопоставления имен (для языков с областями имен, отличными от глобальных), чтобы различные детали обработки исключений соглашались, если у одного или обоих языков есть исключения, что наследование / vtables обрабатываются таким же образом, и соглашения о вызовах должны быть совместимы. Могут быть и другие, это был быстрый ответ от моей головы.

Если вам нужно спросить об этом, я боюсь, что короткий ответ «нет».