OCaml yra akronimas iš Objective Categorical Abstract Machine Language, visapusiško pagrindinės Caml kompiuterių programavimo kalbos interpretavimo modulio pavadinimo. Jis veikia keliose platformose, procesoriuose ir operacinėse sistemose kaip atvirojo kodo, laisvai licencijuota alternatyvi programavimo alternatyva. Ši kalba ypač siejama su Unix® sistemomis, kurios sklandžiai suderinamos su OCaml. Kalba yra tokia pritaikoma, kad programos komponentai, sukurti OCaml, kai kuriais atvejais gali būti integruoti į komponentus, sukurtus C kalbomis, ir atvirkščiai.
Programavimo mašinų kalbos, tokios kaip OCaml, Java® ir C, naudojamos tiesiogiai bendrauti su kompiuterio aparatine įranga kuriant programinę įrangą. Programuotojai juos naudoja norėdami pasiekti aparatinės įrangos komponentų galimybes ir nurodyti programoms, kaip vykdyti tam tikras funkcijas. Atvirojo kodo programos gali apimti programavimo priemones, taip pat sukurtą programinę įrangą; tai programos, nesusijusios su komercine programinės įrangos kompanija. Programų kūrimo komandos juos tiesiogiai siūlo vartotojams, paprastai nemokamai.
Programinės įrangos projektavimo projekto pradžioje programuotojai pasirenka tinkamas kalbas, ieškodami funkcijų, kurios padėtų plėtoti numatytas funkcijas. OCaml baito kodas paprastai yra patrauklus programuotojams. Šie skaitmeniniai kodai kartais vadinami perkeliamumo kodu, todėl programinė įranga tampa efektyvesnė. Lankstus baitinis kodas taip pat leidžia paleisti programinę įrangą kompiuteriuose, pagamintuose skirtingų gamintojų arba kuriuose veikia skirtingos operacinės sistemos. OCaml baito kodas yra sukurtas siekiant užtikrinti apdorojimo greitį, kuris yra naudingas, kai programoms reikia tokių funkcijų kaip paieška didelėse duomenų bazėse.
Kad būtų užtikrintas sėkmingas bet kurios programinės įrangos veikimas, programavimo kalbos turi sumažinti gedimus, kurie gali neleisti joms gauti rezultatų, kurių tikisi vartotojai. OCaml sukurtas tvarkyti „išimtis“ arba netikėtas reikšmes ar įrašus, leidžiant programuotojams užkoduoti nuspėjamus ir patikimus atsakymus į juos. Programinės įrangos kūrėjai savo programose gali sukurti išimtis, kad šios programos galėtų jas atpažinti ir į jas reaguoti, kai jos atsiranda.
Kartais programinė įranga netgi gali sukelti klaidų, kurios sutrikdo vartotojų kompiuterių veikimą. Kai taip nutinka, kitos programos gali sugesti ir netgi pakenkti kompiuterio failams ar operacinės sistemos įrašams. Tačiau OCaml yra specialiai sukurta kaip „saugi“ programavimo kalba, kuri riboja šių klaidų atsiradimą. Jo efektyvumas, patikimumas ir saugumas kartu su atvirojo kodo prigimtimi yra naudingi programuotojams.