OCaml unifies functional, imperative, and object-oriented programming under an ML-like type system. كما توحد الأو كامل بين البرمجة الوظيفية والإلزامية والموضوعية تحت مظلة نظام طباعة شبيه بالإم إل.
This is an interactive OCaml session that prints the inferred types of resulting or defined expressions. وهذه هي جلسة أو كامل تفاعلية التي تطبع الأنماط الاستدلالية للتعبيرات الناتجة أو المحددة.
OCaml bytecode and native code programs can be written in a multithreaded style, with preemptive context switching. ويمكن تحرير شفرة البايت وبرامج الشفرة الأصلية بأسلوب متعدد المراحل مع إمكانية التحول إلى سياق وقائي.