OCaml modülleri ve performans

Question

bazı işlevler OCaml uygulamak (örneğin, bir listeden harita) ancak OCaml kütüphanesinin haritası kullanılabilir gerçekten kolaydır: biz merak edebilir,

Ancak List.map hangi kod daha verimli olacak. Ayrı bir derleme biriminin (kitaplık) bir modülünü çağırmak, bazı olası en iyileştirmeleri geçersiz kılabilir. Fa.caml haber grubunu okudum kütüphanelerden fonksiyon çağırırken kapaklar kullanılır.

Genel programlama yapmak için Modüller ve Eğlence Programları kullanan üretimde OCaml kodu var. Tarihsel sebepten dolayı kodum monolitik: hepsi bir arada. Şimdi daha fazla zamanım var, kodu bu tür modüller için dosyalara ayırmaya istekliyim. Ancak, korkarım ki performansımı kaybedebilirim, çünkü bunu doğru yapmak için biraz zaman harcadım. Örneğin, karmaşık nesneleri sayılar ile sarmak için modüllerim var, bu yüzden benzersiz sunum ve hızlı karşılaştırmayı zorluyorum. Bu sarılı nesneleri genel Haritalar, Kümeler ile kullanıyorum ve üzerlerine önbellekler yapıyorum.

soru vardır: Ben dosyalarını ayırmak için taşırsanız

• mıyım performansı gevşek olacak?
• OCaml, modüller, functor'lar vb. Ile dolu kodumda birçok optimizasyon yapıyor mu?

C++ 'da, sınıf yöntemini bir .h olarak tanımlarsanız, derleyici kısa yöntemlere satır ekleyebilir, vb. Ayrılmış dosyaları kullanarak OCaml'de bunu başarmak mümkün müdür?

Answer 1

Bazı performansları kaybedebilirsiniz. Ancak, iki hafifletici faktörler vardır:

• kod birkaç uyarılar ile (hatta ayrı derleme birimlerinde satır içine yerleştirilmiş mümkün yani OCaml yerel kod derleyici, çapraz modül inlining yapabilirsiniz - özyinelemeli fonksiyonlar ve işlev argümanları [1] modülleri arasında satır içi değil). Bu kod yine de yeterince hızlı olabilir ve okunabilirlik ve süreklilikteki kazançlar büyük olasılıkla herhangi bir (marjinal) performans maliyetinden ağır basacaktır.

OCaml, aynı kaynak dosyasında funktörlerin tanımlandığı kodun defunctorizes olup olmadığını bilmiyorum. Aksi takdirde, modüller, tekrarlayıcılar tarafından meydana gelmiş olan herhangi bir performans artışı eklememelidir. Genel olarak, benim düşüncem doğru, okunabilir, sürdürülebilir bir kod yazmak ve kodun pratikte çok yavaş olmadığı sürece mikroskobik performans özellikleri hakkında çok fazla endişe etmemek en iyisidir.