Na pomanjkljivosti novih konstruktov smo naleteli pri prevajanju v OCaml, kjer se je pokazala slabost naivnega prevajanja, ki občutno poslabša učinkovitost.

Eff je res šele prototipen jezik in nima tako obširne knjižnice kot jo ima OCaml, kar je še nekoliko olajšalo prevajanje.

OCaml ima lastnosti funkcijskih in ukaznih jezikov, tako kot vsi jeziki iz družine ML, poleg tega pa je tudi predmetno usmerjen.

Poleg omenjene sintakse ponuja OCaml še ogromno drugih orodij in konceptov, s katerimi postane močan programski jezik s širokim dosegom uporabnosti [6].

To rešimo s prevodom v eksplicitno tipiziran jezik, cilj tega dela pa je uporabiti OCaml kot ciljni jezik slednjega.

Pred vsakim prevodom programa dodamo glavo z definicijami tipov, ki v OCaml-u niso definirani, kot je prikazano spodaj.

Posamezne ukaze lahko med seboj ločimo z dvojnim podpičjem ;;, vendar to ločilo ni potrebno za normalno delovanje OCaml skript.

Prav zares bodo denimo prestreznike implementirali v novi verziji programskega jezika OCaml, ki je eden bolj znanih funkcijskih jezikov.

V primerjavi s prvo idejo bo še vseeno lažje, saj bomo lahko vse opravili v sklopu jezika OCaml.

Izračun shranjen v spremenljivko simple_stack, ki smo ga definirali zgoraj, se tako prevede v naslednji OCaml program.

V programskem jeziku OCaml je implementiran program, ki za dano strukturo podatkov sestavi nabor razdalj na njej.

Zgrajen je nad popularnim funkcijskim jezikom OCaml in si z njim tudi deli veliko svoje sintakse.

Na kratko je razložena tudi implementacija v jeziku OCaml, kjer predstavimo strukturo in nekatere dele kode.

Ekipa razvijalcev pri razvoju platforme uporablja programski jezik OCaml , ki je razširjen predvsem v akademskem svetu .

Videli bomo kakšen je osnovni prevod v OCaml in zakaj je njegovo izvajanje neučinkovito.