Каковы компромиссы при выборе языка функционального программирования для использования с LLVM?

Либо OCaml, либо Haskell были бы хорошим выбором. Почему бы не ознакомиться с руководствами по LLVM для каждого языка? Учебное пособие по LLVM для OCaml находится здесь: http://llvm.org/docs/tutorial/OCamlLangImpl1.html

В наши дни Haskell набирает обороты, но есть много хороших библиотек синтаксического анализа для OCaml, включая генератор синтаксического анализатора PEG Aurochs, Menhir и генератор парсера GLR Dypgen. Также ознакомьтесь с этой презентацией на pcl, библиотеки монадического комбинатора синтаксического анализатора для OCaml (например, Parsec для Haskell), там есть полезная информация, сравнивающая подходы Haskell и OCaml: http://osp.janestreet.com/files/pcl.pdf

Некоторые скажут, что лень дает Haskell преимущество в синтаксическом анализе, но вы также можете получить лень в OCaml.

У Haskell есть привязки к LLVM более высокого уровня, чем у OCaml (у Haskell есть некоторые интересные гарантии безопасности типов), а у Haskell гораздо больше библиотек для использования (1700 пакетов на http://hackage.haskell.org), что упрощает склеивание компонентов.

Доступность собственных привязок не должна ограничивать ваш выбор языка. Есть и третий вариант, помимо использования привязок или непосредственной генерации ИК-текста:

Вы можете использовать не зависящий от языка формат сериализации, такой как протоколы Google, чтобы служить мостом между интерфейсом и сервером. В конце концов, буферы протокола - это всего лишь замаскированные AST.

Ваш внешний интерфейс, реализованный на функциональном языке, затем выполняет то, что он лучше всего умеет, - синтаксический анализ, проверку типов, десугарирование, межъядерные преобразования и т. Д. - а бэкэнд C ++ берет IR от вашего внешнего интерфейса и использует функцию LLVM. -полный по определению собственный C ++ API для понижения с IR на вашем языке до LLVM IR. Это значительно упрощает работу с «расширенными» функциями LLVM, такими как отладочные метаданные.

Я использую эту стратегию с hprotoc и соответствующими привязками Haskell для буферов протокола, и я очень доволен результатами. Об использовании правильного инструмента для работы можно многое сказать!

OCaml - единственный функциональный язык с привязками в самом дистрибутиве LLVM и документацию на llvm.org, такую ​​как учебник по калейдоскопу. Если при сборке и установке LLVM у вас установлен OCaml, он также автоматически построит и установит привязки LLVM для OCaml. Более того, эти привязки OCaml были в течение многих лет так что они зрелые и надежные.

Я разрабатывал HLVM в OCaml, используя стандартные привязки LLVM, и обнаружил, что OCaml + LLVM является чрезвычайно мощная комбинация. HLVM предоставляет кортежи, массивы, объединения, совокупную стоимость владения всех хвостовых вызовов, общую печать, FFI to C, JIT-компиляцию и параллельную сборку мусора с весом виртуальной машины менее 2kLOC кода OCaml, разработка которого с нуля заняла всего несколько человеко-недель. . Числовая производительность HLVM уже намного превосходит производительность самого быстрого на сегодняшний день открытого исходные FPL, включая сам OCaml. Я опубликовал статьи в OCaml Journal, в которых описывается, как LLVM можно использовать из OCaml для всего, начиная с от базовой оценки выражений до сложных тем, таких как параллелизм и сборка мусора. Вам также может понравиться этот мини-пример.