ومن هو تنفيذ للغة ML، استنادا إلى لهجة CAML ضوء موسعة مع نظام الكائن الكامل على أساس طبقي ونظام وحدة قوية في أسلوب قياسي ML.
تضم موضوعي CAML اثنين من المجمعين. واحد يولد بايت كود التي يتم بعد ذلك تفسيرها من قبل برنامج C.
هذا مترجم يعمل بسرعة، هو محمول على أساسا أي منصة 32 أو 64 بت يونكس ويولد كود التعاقد مع متطلبات الذاكرة المعتدلة.
أداء البرامج ولدت هو جيد جدا بالنسبة لتنفيذ bytecoded.
ويمكن استخدام هذا مترجم إما بذاتها، مترجم الموجهة للدفعة التي تنتج برامج قائمة بذاتها، أو أنها، نظام يقوم toplevel التبادلي.
المترجم الآخر يولد عالية الأداء التعليمات البرمجية الأصلية لعدد
من المعالجات.
تجميع وقتا أطول ويولد رمز أكبر، ولكن البرامج المولدة تقديم أداء ممتاز، مع الحفاظ على متطلبات الذاكرة معتدلة من المترجم بايت كود.
موضوعي CAML هو البديل الأكثر شعبية من اللغة CAML.
من وجهة النظر اللغوية، بل يمتد اللغة الأساسية CAML مع طبقة وجوه المنحى مكتملة، فضلا عن نظام وحدة قوية، وكلها متصلة بواسطة الصوت، ونظام نوع متعدد الأشكال يضم نوع الاستدلال.
نظام CAML الهدف هو تنفيذ القوة الصناعية لهذه اللغة، ويضم عالية الأداء البرمجي الأصلي رمز (ocamlopt) لمدة 9 أبنية المعالج (IA32، باور، AMD64، ألفا، سبارك، MIPS، IA64، HPPA، غليظ)، وكذلك مترجم بايت كود (ocamlc) وحلقة تفاعلية للقراءة حدة التقييم الطباعة (ocaml) للتنمية سريعة وقابلية.
ويشمل توزيع CAML الهدف مكتبة موحدة شاملة، مصحح اعادتها (ocamldebug)، lexer (ocamllex) ومحلل (ocamlyacc) مولدات، ما قبل المعالج جميلة طابعة (camlp4) ومولد الوثائق (ocamldoc).
ما هو الجديد في هذا الإصدار:
تحديث لتى سى ال / تاكا 8.6.
رفض الإعلانات متعددة من نفس الأسلوب أو متغير المثيل في كائن.
نشر المعلومات نوع نحو نمط مطابقة، حتى في وجود متغيرات متعددة الأشكال.
ما هو الجديد في الإصدار 4.02.1:
تحديث لتى سى ال / تاكا 8.6.
رفض الإعلانات متعددة من نفس الأسلوب أو متغير المثيل في كائن.
نشر المعلومات نوع نحو نمط مطابقة، حتى في وجود متغيرات متعددة الأشكال.
ما هو الجديد في الإصدار 3.12.1:
براعم الثابتة:
المتغيرات المستخدمة لم يتم الكشف في "تشمل (البنية .. النهاية)"
camlp4 المنقحة علة الطباعة بناء الجملة في toplevel (ذكرت في CAML-القائمة)
تكوين: لا تحديد _WIN32 تحت سيغوين
مقارنة العامة تصلب في حالة حيث تتم مقارنة مبنيين والعرف ومجموعات مختلفة من العمليات الجمركية.
مقارنة بين صلابة bigarrays في الحالة التي يكون فيها bigarrays اثنين دينا أنواع مختلفة.
اوتوديتيكتيون الخطأ ثابت من expm1 () وlog1p ().
لا تقم بإضافة لاحقة إكس عند تثبيت البرنامج النصي ocamlmktop قذيفة
ocamldoc: إصلاحات طفيفة تتعلق عرض الخيارات ocamldoc
علة ثابتة مع القيم ضخمة في OCAMLRUNPARAM
عدم تطابق بين الإعلان وتعريف caml_major_collection_slice
رغبات ميزة:
واضاف "-ml-مرادف" و "-mli-مرادف" الخيارات لocamldep
واضاف "-ocamldoc" خيار ocamlbuild
إضافة إلى إمكانية إضافة خيارات لocamlbuild
وأضاف الوصول إلى موزعي camlp4 الحالي والطابعات
تحسين اختيار تعليمات لعمليات تطفو على AMD64
وأضاف وظيفة "usage_string 'إلى الارجنتين
تسمح بقيود لإضافة معادلة نوع لتعريف نوع البيانات
السماح لدمج "before" العلامات مثل بعضها الآخر
السماح الاعتماد على ملف "_oasis"
تغييرات أخرى:
الافتراضي تغير طفيف حجم كومة من 32K إلى 256K الكلمات.
وأضاف العملية الجديدة 'compare_ext "لكتل العرف، ودعا عند مقارنة قيمة كتلة مخصصة مع عدد صحيح بدون علبة.
ما هو الجديد في الإصدار 3.12.0:
أنماط السجل للنموذج {LBL = بات. _} بمناسبة التي لا يتم سرد كافة العلامات، وهادف.
يتم ترقيم الآن التحذيرات ويمكن أن تنتقل وخارجها بشكل فردي. النظام القديم مع رسائل اشارة الى مجموعات من التحذيرات لا تزال معتمدة.
خيار "-strict-تسلسل لاجبار اليد اليسرى جزء من تسلسل لنوع الوحدة المضافة.
خريطة: تنفيذ المهام من مجموعة أن معنى للخريطة.
إضافة دعم لdynlink الأم.
تغيرت دلالات تحذير 7 (رمز "M"، طريقة تجاوز) (الآن بالكشف عن تجاوزات، وليس فقط التعاريف المتكررة داخل الجسم الطبقة نفسها)، وهي الآن غير نشط بشكل افتراضي.
ما هو الجديد في الإصدار 3.11.2:
وثائق أفضل لدقيقة والحد الأقصى w.r.t. نان
يستخدم ocamlbuild مترجم خاطئ لملفات C
ocamlbuild لا تستخدم التكوين صحيح المعلومات
تحت بعض المنشآت ويندوز، وارتفاع مرات بدء ليونكس ليب
مشكلة مع scanf وCRLF
ocamlmklib المشكلة تحت ويندوز
مشكلة BSD مع عناوين مأخذ، على سبيل المثال في Unix.getnameinfo
القضية مع إعراب الحرفية تطفو من قبل المجمع GNU
المشكلة مع وحدات وأنواع خاصة
المتطلبات:
GNU C مترجم - دول مجلس التعاون الخليجي
لم يتم العثور على التعليقات