Al elegir un lenguaje de programación funcional para usar con LLVM, ¿cuáles son las ventajas y desventajas?

Haskell tiene enlaces de mayor nivel a LLVM que OCaml (los de Haskell proporcionan algunas garantías de seguridad de tipo interesante) y Haskell tiene muchas más bibliotecas para usar (1700 paquetes en http://hackage.haskell.org ) por lo que es más fácil de pegar juntos componentes.

La disponibilidad de enlaces nativos no tiene por qué limitar su elección de idioma. Hay una tercera opción, aparte de usar enlaces o generar texto IR directamente:

Puede usar un formato de serialización neutro en el idioma, como los búferes de protocolo de Google, para servir como el puente desde su front-end a su back-end. Los buffers de protocolo son, después de todo, solo ASTs disfrazados.

Su front end, implementado en un lenguaje funcional, entonces hace lo que es mejor en par parsing, type comprobación, desugaring, transformaciones core-to-core, etc the y el backend de C++ toma el IR de su frontend y utiliza la API nativa de C++ de LLVM completa por definición para bajar de su lenguaje IR a LLVM IR. Esto hace que sea mucho más fácil manejar las características "avanzadas" de LLVM, como los metadatos de depuración.

Estoy usando esta estrategia con hprotoc y los enlaces Haskell asociados para los búferes de protocolo, y estoy muy contento con los resultados. Hay mucho que decir para el uso de la la herramienta adecuada para el trabajo!

OCaml es el único lenguaje funcional con enlaces en la propia distribución LLVM y documentación sobre llvm.org como el tutorial de Caleidoscopio . Si tiene OCaml instalado cuando compila e instala LLVM, también compilará e instalará automáticamente los enlaces LLVM para OCaml. Además, estas fijaciones OCaml han estado en uso durante años por lo que son maduras y confiables.

He estado desarrollando HLVM en OCaml usando el estándar LLVM y encontró OCaml + LLVM para ser una combinación extremadamente poderosa. HLVM proporciona tuplas, matrices, uniones, TCO de todas las llamadas de cola, impresión genérica, FFI a C, compilación JIT y recolección de basura paralela con una VM que pesa menos de 2kLOC de código OCaml que tomó solo unas pocas semanas hombre para desarrollarse desde cero. El rendimiento numérico de HLVM ya supera con creces el de los FPLs de código abierto más rápidos de hoy, incluida la propia OCaml. He publicado artículos en la Revista OCaml describiendo cómo se puede usar LLVM desde OCaml para todo, desde la evaluación básica de expresiones hasta temas avanzados como el paralelismo y la recolección de basura. También te puede gustar este mini ejemplo.