módulos OCaml y el rendimiento

Question

Algunas funciones son muy fáciles de implementar en OCaml (por ejemplo, un mapa de una lista) pero es posible utilizar el mapa de la biblioteca OCaml: List.map

Sin embargo, podemos preguntarnos qué código será más eficiente. Llamar a un módulo de una unidad de compilación separada (una biblioteca) puede anular algunas optimizaciones posibles. Leí en el grupo de noticias fa.caml que al llamar a funciones desde bibliotecas, se usan cierres.

Tengo el código OCaml en producción que usa Módulos y Funcionadores para hacer programación genérica. Por razones históricas, mi código es monolítico: todo en un solo archivo. Ahora que tengo más tiempo, estoy dispuesto a separar el código en archivos para dichos módulos. Sin embargo, me temo que puedo perder rendimiento, ya que tardé un tiempo en hacerlo bien. Por ejemplo, tengo módulos para envolver objetos complejos con números, por lo que impongo una representación única y una comparación rápida. Utilizo esos objetos envueltos con mapas, conjuntos y cachés genéricos sobre ellos.

Las preguntas son:

• voy a perder rendimiento si me mudo a los archivos separados?
• ¿OCaml está haciendo muchas optimizaciones en mi código lleno de módulos, funtores, etc.?

En C++, si define el método de clase en a .h, el compilador puede terminar enineando métodos cortos, etc. ¿Es posible lograr eso en OCaml usando archivos separados?

Answer 1

Puede perder algo de rendimiento. Sin embargo, hay dos factores atenuantes:

• El compilador de código nativo OCaml puede hacer inline-módulo de cruz, por lo que es posible que el código para ser inline incluso a través de las unidades de compilación por separado (con un par de advertencias - funciones recursivas y los argumentos de función no están insertados en los módulos [1]).
• El código aún será lo suficientemente rápido, y las ganancias en legibilidad y mantenimiento posiblemente sobrepasen cualquier costo de rendimiento (marginal).

No sé si OCaml defunciona el código donde se definen los funtores en el mismo archivo fuente. Si no es así, los módulos no deberían agregar ningún golpe de rendimiento superior al que ya han incurrido los funtores.

En general, creo que es mejor escribir código sencillo, legible y fácil de mantener y no preocuparse demasiado por características de rendimiento microscópicas como esta a menos que el código demuestre ser demasiado lento en la práctica.