لغة كامل الموضوعية

تشتهر تلك اللغات المشتقة من إم إل بأنظمتها النمطية الساكنة ومصنفات الاستدلال على النمط. كما توحد الأو كامل بين البرمجة الوظيفية والإلزامية والموضوعية تحت مظلة نظام طباعة شبيه بالإم إل. وهذا يعني أنه ليس هناك ضرورة لأن يكون مؤلف البرنامج معتادا على نموذج اللغة الوظيفية البحت من أجل استخدام الأو كامل.

ويمكن أن يساعد نظام النمط الساكن للأو كامل في التخلص من المشاكل أثناء التشغيل، إلا أنه يجبر المبرمج أيضا على التأقلم مع بعض القيود الخاصة بنظام الطباعة والتي تتطلب تفكيرا عميقا وانتباها شديدا. أما المصنف المستدل على النمط فهو يقلل بشدة من الحاجة لحواشي طباعة تفسيرية يدوية (على سيبل المثال لا تحتاج طباعة البيانات للمتغيرات وتوقيع الوظائف عادة أن يتم التصريح عنها علنا، كما تفعل في الجافا). وبالرغم من ذلك فإن الاستخدام الفاعل لنظام طباعة الأو كامل يمكن أن يحتاج إلى بعض التعقيدات من جانب المبرمج.

ويتم تمييز لغة أو كامل عن اللغات الأخرى بتأكيدها على الأداء. أولا فإن نظام نمطيتها الساكن يجعل عدم التوافق في الطباعة أثناء التشغيل أمرا مستحيلا ومن ثم يمكن تجنب الطباعة أثناء التشغيل والتدقيقات الأمنية التي تكون عبئا على أداء اللغات المطبوعة ديناميكيا بينما لا تزال تكفل الأمان أثناء التشغيل (فيما عدا حين يتم إغلاق ميزة تدقيق حدود الصفوف أو حين يتم استخدام ميزات طباعة معينة غير آمنة، وهي حالات نادرة بما يكفي يمكن تجنبها بسهولة عمليا).

وبغض النظر عن تدقيق الطباعة فإن لغات البرمجة الوظيفية هي بوجه عام تتحدى تصنيف شيفرة لغة الآلة ذات الكفاءة بسبب بعض الأمور مثل مشكلة "فانارج"، بالإضافة إلى الحلقة والسجل وتعليمات المثالية القياسية، فإن المصنف المثالي لأو كامل يقوم بتوظيف تقنيات تحاليل برامج ساكنة لجعل القيمة الخاصة بالفراغات الصندوقية وتقسيم الإغلاق أفضل بما يساعد على زيادة أداء الشفرة الناتجة حتى إذا كانت تستغل مقومات البرمجة الوظيفية بشكل مكثف.

وقد صرح زافير ليروي بأن "لغة أو كامل تعمل على الأقل على توصيل 50% من أداء مصنف السي المتواضع"،[2] ولكن من الممكن إجراء مقارنة مباشرة. ويمكن تطبيق بعض وظائف المكتبة القياسية للأو كامل عبر أنظمة حسابية أسرع من الوظائف المكافئة في المكتبات القياسية للغات الأخرى. على سبيل المثال فإن تطبيق اتحاد معين في مكتبة الأو كامل أسرع بشكل متقارب من الوظيفة المكافئة في المكتبات القاسية للغات الإلزامية (مثل السي بلس بلس والجافا) لأن تطبيق الأو كامل يستغل ثبوت بعض المجموعات من أجل إعادة استخدام أجزاء من مجموعات المدخلات في النتائج (المثابرة).

من بين سمات أوكامل: نظام نمطي ساكن، استدلال من النمط، تعدد الأشكال القياسي، تكرار اللاحقات، التطابق مع النموذج، إيقاف من الدرجة الأولى للمفردات، وحدات قياسية (فانكتور)، التعامل الاستثنائي وجمع القمامات الآلية الإضافية والتوليدية.

وتشتهر لغة أو كامل على وجه الخصوص بالتوسع في الاستدلال بالنمط بأسلوب إم إل نحو نظام موضوعي في اللغة ذات الهدف العام، ويتيح ذلك الطباعة الثانوية الهيكلية حيث تكون الأحرف المطبوعة متطابقة إذا كانت توقيعات طريقتها متوافقة أيضا بغض النظر عن موروثاتها المعروفة والسمة الغير معتادة في اللغات التي تطبع بطريقة ساكنة.

كما يتوافر سطح بيني للوظائف الغريبة ليتم ربطها ببدائيات لغة السي متضمنا دعما لغويا للصفوف العددية ذات الكفاءة في صياغات تتماشى مع كل من السي والفورتران. وتدعم لغة الأو كامل أيضا إنشاء مكتبات لوظائف الأو كامل يمكن ربطها بالبرنامج الرئيسي في السي بحيث يمكن للمرء توزيع مكتبة الأو كامل على مبرمجي السي الذين ليس لديهم أي معرفة أو ليس متاحا لديهم تطبيق الأو كامل.

ويتضمن توزيع أوكامل:

• معرّب قابل للتوسع ولغة كبيرة تسمى كاملب ي فور تسمح بالتوسع في تركيب جمل الأو كامل أو حتى استبدالها.
• أدوات وضع مفردات ومعرّبات تسمى أوكامليكس وأوكاملياك.
• مصحح أخطاء يدعم الرجوع للخلف للتحقق من الأخطاء.
• مولد وثائق
• محلل – لقياس الأداء
• مكتبات متعددة لأهداف عامة.

كما يتوافر مصنف شفرات أصلي للعديد من المنصات من بينها اليونكس والمايكروسوفت ويندوز والأبل ماك أو إس. كما يضمن مدعم توليد الشفرة الأصلية إمكانية نقل الهياكل الرئيسية بشكل ممتاز: IA-32, IA-64, AMD64, HP/PA; PowerPC, SPARC, Alpha, MIPS و StrongARM.

ويمكن تحرير شفرة البايت وبرامج الشفرة الأصلية بأسلوب متعدد المراحل مع إمكانية التحول إلى سياق وقائي. ومع ذلك نظرا لأن جامع القمامة ليس مصمم من أجل التزامن فليس هناك ميزة المعالجة المتعددة المتناسقة.[3] تنفذ مراحل الأو كامل في نفس العملية عبر مشاركة الوقت فقط ك"فانكتوري وأوكمالنت/ بلازما"

يمكن بكل سهولة دراسة قصاصات شفرة الأو كامل بإدخالها إلى "مستوى أعلى". وهذه هي جلسة أو كامل تفاعلية التي تطبع الأنماط الاستدلالية للتعبيرات الناتجة أو المحددة. يبدأ المستوى الأعلى من الأو كامل ببساطة عبر تنفيذ برنامج "أوكامل":

 $ ocaml
   Objective Caml version 3.09.0

 #

بعد ذلك يمكن إدخال الشفرة على الفور، على سبيل المثال لحساب 1+2*3:

 # 1 + 2 * 3;;
 - : int = 7

يستدل الأوكامل على نمط التعبير بكونه "int" (أي رقم صحيح دقيق ناتج عن الآلة) ويمنحنا الرقم "7"

$ ocamlc hello.ml -o hello

$ ocamlopt hello.ml -o hello

$./hello
Hello world!
$

let rec sum xs =
  match xs with
    [] -> 0
    | x :: xs' -> x + sum xs'

# sum [1;2;3;4;5];;
- : int = 15

let sum xs =
    List.fold_left (+) 0 xs

# sum [1;2;3;4;5];;
- : int = 15

 let rec qsort = function
   | [] -> []
   | pivot :: rest ->
       let is_less x = x <pivot in
       let left, right = List.partition is_less rest in
       qsort left @ [pivot] @ qsort right

 let year_size = 365.;;

 let rec birthday_paradox prob people =
     let prob' = (year_size -. float people) /. year_size *. prob  in
     if prob' <0.5 then
         Printf.printf "answer = %d\n" (people+1)
     else
         birthday_paradox prob' (people+1) ;;

 birthday_paradox 1.0 1

let zero f x = x
let succ n f x = f (n f x)
let one = succ zero
let two = succ (succ zero)
let add n1 n2 f x = n1 f (n2 f x)
let to_string n = n (fun k -> "S" ^ k) "0"
let _ = to_string (add (succ two) two)

# #load "nums.cma";;
# open Num;;

# let rec fact n =
    if n =/ Int 0 then Int 1 else n */ fact(n -/ Int 1);;
val fact : Num.num -> Num.num = <fun>

# string_of_num (fact (Int 120));;
- : string =
"6689502913449127057588118054090372586752746333138029810295671352301633
55724496298936687416527198498130815763789321409055253440858940812185989
8481114389650005964960521256960000000000000000000000000000"

# #require "pa_do.num";;
# let rec fact n = Num.(if n = 0 then 1 else n * fact(n-1));;
val fact : Num.num -> Num.num = <fun>
# fact Num.(120);;
- : Num.num =
  <num 668950291344912705758811805409037258675274633313802981029567
  135230163355724496298936687416527198498130815763789321409055253440
  8589408121859898481114389650005964960521256960000000000000000000000000000>

 let () =
   ignore(Glut.init Sys.argv);
   Glut.initDisplayMode ~double_buffer:true ();
   ignore (Glut.createWindow ~title:"OpenGL Demo");
   let angle t = 10. *. t *. t in
   let render () =
     GlClear.clear [ `color ];
     GlMat.load_identity ();
     GlMat.rotate ~angle: (angle (Sys.time ())) ~z:1. ();
     GlDraw.begins `triangles;
     List.iter GlDraw.vertex2 [-1., -1.; 0., 1.; 1., -1.];
     GlDraw.ends ();
     Glut.swapBuffers () in
   GlMat.mode `modelview;
   Glut.displayFunc ~cb:render;
   Glut.idleFunc ~cb:(Some Glut.postRedisplay);
   Glut.mainLoop ()

 $ ocamlc -I +lablGL lablglut.cma lablgl.cma simple.ml -o simple

 $ ocamlopt -I +lablGL lablglut.cmxa lablgl.cmxa simple.ml -o simple

 $./simple

let rec fib_aux n a b =
  match n with
  | 0 -> a
  | _ -> fib_aux (n - 1) (a + b) a;;

let fib n = fib_aux n 0 1;;

let fib n =
  let rec fib_aux n a b =
    match n with
    | 0 -> a
    | _ -> fib_aux (n - 1) (a + b) a
  in
  fib_aux n 0 1;;

• إف إف تي دبليو FFTW – برنامج مكتبي لحساب تحولات فوريير المنفصلة. وقد تم توليد عدة روتينات للسي عبر برنامج أوكامل تسمة genfft.
• يونيسون- برنامج لتزامن الملفات ليقوم بعمل تزامن للملفات الموجود في دليلين.
• جالاكس- تطبيق لإكس كويري XQuery ذو مورد مفتوح.
• إم إل دونكي- أداة نقل من رفيق لآخر تعتمد على شبكة إي دونكي نتوورك EDonkey Nework.
• جينويب – برنامج لعلم الأنساب ذو منصة متعددة ومصدر مفتوح.
• مصنف هاكس- مصنف مجاني ذو مصدر مفتوح للغة برمجة هاكسي
• فراما سي- إطار لتحليل برامج السي.
• ليكويد سوب- ليكويد سوب هو مولد تيارات صوتية لمشروع سافونت Savonet ويستخدم بشكل ملحوظ لتوليد تيارات نراديوز netradio.
• كوكسينيلي – كوكسينيلي هو محرك لتحويل وتطابق أي برنامج يتيح لغة إس إم بي إل (Semantic Patch Lamguage) لتحديد توافقات وتحولات مرغوبة في شفرة السي.
• سي سلاست- أداة للدمج بين LA+EUF
• أورباي- سطر أمري في حاسبة آر بي إن
• كوك- نظام إدارة ثابت رسميا
• أوسيجين – إطار تطوير للموقع الإليكتروني
• ميراج- نظام تشغيل لإنشاء تطبيقات برمجية لشبكات آمنة عالية الأداء يمكن الاعتماد عليها عبر مجموعة متنوعة من المنصات المتحركة والتي تقوم بحساب الحشود.

وقد اتخذت شركة جين ستريت كابيتال التجارية الخاصة لغة أو كامل لتكون لغتها المفضلة.

-oriented dialect of ML -oriented extension to the functional language هاسكل

• Caml language family official website
  • OCaml libraries
• OCaml tutorial for C, C++, Java and Perl programmers
• Jason Hickey book
• A basic OCaml tutorial
• A Tutorial with a practical approach.
• OCamlcore Planet aggregation of people and institutional feeds about OCaml.
• OCamlForge a free service to Open Source OCaml developers offering easy access to the best in source control management, mailing lists, bug tracking, message boards/forums, task management, site hosting, permanent file archival, full backups, and total web-based administration.
• OCaml Batteries Included, a community-built standard library for OCaml
• OCaml-Java, OCaml for Java
• OCamIL, an OCaml compiler for دوت نت فراموورك
• LablGL and LablGTK مكتبة الرسوميات المفتوحة+ bindings (LablGL) and جتك+ bindings (LablGTK)
• Newest Ocaml Projects on Sourceforge
• Comparison of the speed of various languages including Ocaml
• MetaOCaml home page
• the GODI package manager for OCaml
• Ocamlwizard

في كومنز صور وملفات عن: لغة كامل الموضوعية

• بوابة برمجة الحاسوب
• بوابة برمجيات حرة