moduli e le prestazioni OCaml

Question

Alcune funzioni sono davvero facili da implementare in OCaml (ad esempio, carta da un elenco), ma è possibile utilizzare la mappa della biblioteca OCaml: List.map

Tuttavia, possiamo chiederci quale codice sarà più efficiente. Chiamare un modulo di una unità di compilazione separata (una libreria) può invalidare alcune ottimizzazioni possibili. Ho letto nel gruppo di notizie fa.caml che quando si chiamano le funzioni dalle librerie, vengono utilizzate le chiusure.

Ho un codice OCaml in produzione che utilizza moduli e funzioni per la programmazione generica. Per ragioni storiche il mio codice è monolitico: tutto in un unico file. Ora ho più tempo, sono disposto a separare il codice in file per tali moduli. Tuttavia, temo di poter perdere le prestazioni, perché mi ci è voluto un po 'per farlo bene. Per esempio, ho dei moduli per avvolgere oggetti complessi con numeri, quindi impongo una rappresentazione unica e un confronto veloce. Io uso quegli oggetti avvolti con Mappe, Set e mappe generiche su di essi.

Le domande sono:

• faccio a perdere prestazioni se mi trasferisco in file separati?
• OCaml sta facendo molte ottimizzazioni sul mio codice pieno di moduli, funtori, ecc.?

In C++, se si definisce il metodo di classe in un file .h, il compilatore può finire con l'inlining di metodi brevi, ecc. È possibile ottenerlo in OCaml utilizzando file separati?

Answer 1

Si può perdere qualche prestazione. Tuttavia, ci sono due fattori attenuanti:

• Il codice compilatore nativo OCaml può fare cross-modulo inline, quindi è possibile che il codice sia inline anche attraverso le unità di compilazione separata (con un paio di avvertimenti - funzioni ricorsive e gli argomenti della funzione non sono allineati tra i moduli [1]).
• Il codice sarà ancora abbastanza veloce e i guadagni in leggibilità e manutenibilità supereranno di gran lunga qualsiasi costo di prestazione (marginale).

Non so se OCaml defuncina il codice in cui i funtori sono definiti nello stesso file sorgente. In caso contrario, i moduli non dovrebbero aggiungere alcun risultato in termini di prestazioni superiore a quello già sostenuto dai funtori.

In generale, è mia opinione che sia meglio scrivere codice diretto, leggibile e gestibile e non preoccuparsi troppo delle caratteristiche di prestazioni microscopiche come questo a meno che il codice non si dimostri troppo lento nella pratica.