ocaml - عبر الإنترنت في السحابة

برنامج:

اسم

ocaml - المستوى العلوي التفاعلي لـ OCaml

موجز

لغة كامل الموضوعية [ الخيارات ] [ وجوه الملفات ] [ ملف النصي ]

الوصف

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

يمكن أن تمتد عبارة المستوى الأعلى إلى عدة أسطر. تم إنهاؤه بواسطة ؛؛ (فاصلة منقوطة مزدوجة). ال
بناء جملة العبارات المستوى هو كما يلي.

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

إذا كان واحد أو أكثر وجوه الملفات (تنتهي بـ .cmo أو .cma) ، يتم تحميلها بصمت
قبل البدء في المستوى الأعلى.

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

OPTIONS

يتم التعرف على خيارات سطر الأوامر التالية بواسطة لغة كامل الموضوعية(1).

-absname
إظهار أسماء الملفات المطلقة في رسائل الخطأ.

-I دليل
أضف الدليل المحدد إلى قائمة الدلائل التي تم البحث عنها من أجل المصدر والمترجمة
الملفات. افتراضيًا ، يتم البحث في الدليل الحالي أولاً ، ثم القياسي
دليل المكتبة. الدلائل المضافة مع -I يتم البحث عنها بعد التيار
الدليل ، بالترتيب الذي أعطيت به في سطر الأوامر ، ولكن قبل ذلك
دليل المكتبة القياسي.

إذا كان الدليل المحدد يبدأ بـ +، يتم أخذها بالنسبة للمكتبة القياسية
الدليل. على سبيل المثال، -I + مترجم ليبس يضيف الدليل الفرعي مترجم ليبس of
المكتبة القياسية لمسار البحث.

يمكن أيضًا إضافة الدلائل إلى مسار البحث بمجرد تشغيل المستوى الأعلى مع
هيه #الدليل التوجيه.

-فيه ملف
قم بتحميل الملف المحدد بدلاً من ملف التهيئة الافتراضي. الملف الافتراضي
is .ocamlinit في الدليل الحالي إذا كان موجودًا ، وإلا .ocamlinit في ال
دليل المستخدم الرئيسي.

-ملصقات
لا يتم تجاهل الملصقات في الأنواع ، ويمكن استخدام الملصقات في التطبيقات ، ووضع العلامات عليها
يمكن إعطاء المعلمات بأي ترتيب. هذا هو الافتراضي.

-لا-التطبيق- funct
يبطل السلوك التطبيقي للمنفذين. مع هذا الخيار ، كل ممارس
يولد التطبيق أنواعًا جديدة في نتائجه ويطبق نفس المميزات مرتين
لنفس الحجة ينتج عنها بنائين غير متوافقين.

-نواصرت
لا تقم بترجمة عمليات التحقق من التأكيد. لاحظ أن النموذج الخاص يجزم زائف دائما
تم تجميعه لأنه كتب بشكل خاص.

-نولابيلس
تجاهل التسميات غير الاختيارية في الأنواع. لا يمكن استخدام الملصقات في التطبيقات ، و
يصبح ترتيب المعلمة صارمًا.

-Noprompt
لا تعرض أي مطالبة أثناء انتظار الإدخال.

-نوبرومبتكونت
لا تعرض المطالبة الثانوية عند انتظار سطور المتابعة في
مدخلات الخط. يجب استخدام هذا على سبيل المثال عند الجري لغة كامل الموضوعية(1) في ايماكس(1) نافذة.

-نوستدليب
لا تقم بتضمين دليل المكتبة القياسي في قائمة الأدلة التي تم البحث عنها
للملفات المصدر والمترجمة.

-افتح وحدة
يفتح الوحدة النمطية المحددة قبل البدء في المستوى الأعلى. إذا عدة -افتح الخيارات
بالنظر إلى ذلك ، تتم معالجتها بالترتيب ، تمامًا كما لو كانت البيانات مفتوحة! وحدة 1؛؛ ...
افتح! وحدة N ؛؛ كانت المدخلات.

-ppx أمر
بعد التحليل ، قم بتمرير شجرة التركيب المجردة من خلال المعالج المسبق أمر.
وحدة Ast_mapper(3) تنفذ الواجهة الخارجية للمعالج المسبق.

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

-صحيح
السماح بالأنواع العودية التعسفية أثناء فحص النوع. بشكل افتراضي ، متكرر فقط
يتم دعم الأنواع التي يمر بها العودية من خلال نوع كائن.

-السلسلة الآمنة
فرض الفصل بين الأنواع سلسلة بايت، وبالتالي جعل السلاسل تقرأ-
فقط. سيصبح هذا هو الإعداد الافتراضي في إصدار مستقبلي من OCaml.

- مسارات قصيرة
عندما يكون نوع ما مرئيًا تحت عدة مسارات للوحدة النمطية ، استخدم أقصرها عندما
طباعة اسم النوع في الواجهات المستنبطة ورسائل الخطأ والتحذير.

-ستدين اقرأ الإدخال القياسي كملف نصي بدلاً من بدء تشغيل تفاعلي
جلسة.

-تسلسل صارم
إجبار الجزء الأيسر من كل تسلسل على كتابة وحدة.

-غير آمن
قم بإيقاف تشغيل التحقق المنضم على عمليات الوصول إلى الصفيف والسلسلة (ملف السادس) s. [i]
يبني). البرامج المترجمة -غير آمن لذلك أسرع قليلاً ، ولكن
غير آمن: يمكن أن يحدث أي شيء إذا وصل البرنامج إلى مصفوفة أو سلسلة خارج
حدودها.

-سلسلة غير آمنة
حدد الأنواع سلسلة بايت، مما يجعل السلاسل قابلة للكتابة. لأسباب
التوافق مع الإصدارات السابقة ، هذا هو الإعداد الافتراضي في الوقت الحالي ، ولكن هذا
سيتغير في إصدار مستقبلي من OCaml.

-الإصدار
طباعة سلسلة الإصدار والخروج.

-vnum اطبع رقم النسخة القصيرة واخرج.

-w قائمة التحذير
تمكين أو تعطيل التحذيرات وفقًا للحجة قائمة التحذير. شاهد أوكاملك(1)
من أجل بناء جملة قائمة التحذير جدال.

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

-حذر- المساعدة
اعرض وصف جميع أرقام التحذير المتاحة.

- ملف استعمل ملف كاسم ملف نصي ، حتى عندما يبدأ بواصلة (-).

-مساعدة or --مساعدة
عرض ملخص قصير عن الاستخدام والخروج.

البيئة المتغيرات

LC_CTYPE
في حالة الضبط على iso_8859_1 ، فإن الأحرف المعلمة (من مجموعة أحرف ISO Latin-1) بتنسيق
تتم طباعة الأحرف الحرفية والسلسلة كما هي ؛ خلاف ذلك ، يتم طباعتها كـ
تسلسل الهروب العشري.

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

استخدم OCAML عبر الإنترنت باستخدام خدمات onworks.net