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

برنامج:

اسم

hugs، runhugs، ffihugs - Hugs 98، نظام برمجة وظيفي

موجز

العناق [ الخيارات ] [ نماذج ]
ركض [ الخيارات ] وحدة [ وسائط ]
com.ffihugs [ الخيارات ] وحدة [ وسيطة المترجم ] ...

الوصف

Hugs هو مترجم لـ Haskell ، وهي لغة برمجة وظيفية قياسية غير صارمة.
تطبق Hugs تقريبًا جميع معايير Haskell 98 ، باستثناء التكرار المتبادل
الوحدات. الاسم العناق هو ذاكري ل هاسكل المستخدم غوفر System.

بدأ المترجم باستخدام العناق يأمر. بعد خيارات المعالجة ، يقوم بتحميل ملف
وحدة قياسية مقدمة وأية وحدات أخرى مدرجة في سطر الأوامر.

يتم تخزين كل وحدة هاسكل في ملف منفصل. عند تحميل وحدة الاسم, العناق
يستبدل كل `.' في الاسم ب "/'ويبحث في كل دليل أثناء بحثه
المسار (انظر -P مع OPTIONS) للملفات الاسم.hs و الاسم.lhs. (اللواحق المعترف بها
يمكن تغييرها باستخدام -S الخيار الموضح تحت OPTIONS.) كما يحاول الاسم ك
اسم الملف الحرفي. الملفات التي تنتهي بـ ".lhs"تعامل على أنها نصوص متعلمة.

OPTIONS

تم تبديل بعض الخيارات بـ + or - لتشغيلها أو إيقاف تشغيلها ، على التوالي.

اللغة المطابقة
98 قبول هاسكل 98 فقط (لا يمكن تغييره من داخل العناق؛ افتراضي في). تحول هذا
off يمكّن العديد من امتدادات Hugs الخاصة ، والتي تم وصفها في ملف العناق 98
مستخدم كتيب.

+o السماح بالمثيلات المتداخلة (امتداد Hugs ؛ افتراضي: إيقاف)

+O السماح بالمثيلات المتداخلة غير الآمنة (امتداد Hugs ؛ افتراضي: إيقاف)

+H السماح بـ "مستندات هنا" (امتداد Hugs ؛ افتراضي: إيقاف)

وحدة جار التحميل
+l تعامل مع الملفات التي لا تنتهي أسماؤها بـ ``.hs"ولا".lhs"كنصوص متعلمة
(الافتراضي: إيقاف)

+. طباعة النقاط لإظهار التقدم أثناء تحميل الوحدات (افتراضي: إيقاف)

+q لا تطبع شيئًا لإظهار التقدم أثناء تحميل الوحدات (افتراضي: تشغيل)

+w اعرض دائمًا الملفات التي تم تحميلها (افتراضي: إيقاف)

التعبير تقييم
+s طباعة عدد التخفيضات / الخلايا بعد كل تقييم (الافتراضي: إيقاف)

+t نوع الطباعة بعد كل تقييم (الافتراضي: إيقاف)

+T تطبيق قواعد Haskell الافتراضية قبل أنواع الطباعة (الافتراضي: إيقاف)

+g طباعة عدد الخلايا التي تم استعادتها بعد كل عملية جمع بيانات مهملة (الافتراضي: إيقاف)

+Q تأهيل الأسماء عند الطباعة (الافتراضي: إيقاف التشغيل)

+k إظهار الأخطاء الرقيقة بالكامل (الافتراضي: إيقاف)

+u استعمال "إظهار"لعرض النتائج (الافتراضي: تشغيل)

+I عرض نتائج برامج الإدخال والإخراج (الافتراضي: إيقاف)

المعلمات
خيارات أخرى (في أي - يمكن استبداله بـ +، الخيار الذي لا يحدث فرقًا) هي:

-hNUM تعيين حجم الكومة (لا يمكن تغييره في غضون العناق؛ الافتراضي: 250 كيلو)

-pشارع تعيين سلسلة المطالبة إلى شارع (افتراضي: `٪ s> '). أي %s في موجه سيتم استبداله
حسب اسم الوحدة الحالية.

-rشارع قم بتعيين تكرار سلسلة التعبير الأخير على شارع (إفتراضي: $$).

-Pشارع تعيين مسار البحث عن ملفات المصدر إلى شارع، والتي يجب أن تكون قائمة مفصولة بنقطتين من
الدلائل. سيتم استبدال إدخال فارغ في هذه القائمة بالبحث السابق
طريق؛ لاغية شارع يعني المسار الافتراضي. أي حدوث {عناق} في هذه السلسلة
تم توسيعه إلى دليل مكتبة Hugs ، وهو / usr / lib / hugs. وبالمثل، {بيت}
يتم توسيعه إلى الدليل الرئيسي الخاص بك (قيمة ملف الصفحة الرئيسية متغيرات البيئة).
إدخال للنموذجدليل/*"تعني جميع الدلائل الفرعية المباشرة لـ
دليل. النظام الأساسي

.: {Home} / lib / hugs /pack / *: / usr / local / lib / hugs /pack / *: {Hugs} /pack / *: {Hugs} / libraries

-Sشارع عيّن القائمة المفصولة بنقطتين من لواحق الملف المصدر إلى شارع (إفتراضي: .hs: .lhs). ال
سيتم استبدال الإدخال الفارغ في هذه القائمة بقائمة اللاحقات السابقة ؛ لاغية شارع
تعني القائمة الافتراضية.

-Eشارع استخدم إعداد المحرر الذي قدمه شارع (افتراضيًا: قيمة ملف EDITOR بيئة
عامل). أي تكرارات %d و %s في خيار المحرر يتم استبداله بامتداد
رقم سطر البداية واسم الملف المراد تحريره ، على التوالي. مشترك
الإعداد هو "vi +٪ d %s".

-cNUM تعيين حد قطع القيد في مدقق النوع إلى NUM (افتراضي: 40).

-Fكمد اضبط مرشح المعالج المسبق لملفات المصدر على كمد (غير مضبوط افتراضيًا). بدلاً من
قراءة ملف المصدر مباشرة ، العناق سيقرأ الإخراج القياسي لـ كمد إركض مع
اسم الملف المصدر كوسيطة.

-Xشارع السلسلة شارع يتم تفسيره كسلسلة خيارات. هذا مفيد ، على سبيل المثال ،
لتمرير حجج متعددة إلى ركض في #! النصي.

أوامر

بمجرد تحميل المترجم الفوري ، تتوفر الأوامر التالية:

:حمولة [نماذج] امسح جميع الوحدات باستثناء المقدمة ، وقم بتحميل الوحدات المحددة.

:أيضًا نماذج قراءة وحدات إضافية.

:إعادة تحميل كرر الماضي تحميل أمر.

تحرير: ملف تحرير ملف.

تحرير: تحرير الملف الأخير.

:وحدة وحدة وضع وحدة لتقييم التعبيرات.

على سبيل المثال تقييم التعبير.

:اكتب على سبيل المثال نوع طباعة التعبير.

:? اعرض قائمة الأوامر هذه.

:جلس الخيارات تعيين خيارات سطر الأوامر.

:جلس مساعدة في خيارات سطر الأوامر.

: الأسماء [أنماط] قائمة بأسماء في النطاق حاليًا تتطابق مع أي من أنماط نمط الصدفة.

:معلومات أسماء وصف الأشياء المسماة.

:تصفح نماذج تصفح الأسماء المصدرة من قبل نماذج.

:تجد الاسم تحرير ملف يحتوي على تعريف الاسم.

:!أمر الهروب من قذيفة.

: قرص مضغوط دير تغيير الدليل.

: gc قوة جمع القمامة.

:إصدار طباعة نسخة العناق.

: استقال خروج مترجم العناق.

يمكن اختصار أي أمر إلى :c أين c هو الحرف الأول في الاسم الكامل. على
يمكنك أيضًا الخروج من معظم الأنظمة العناق عن طريق كتابة حرف نهاية الملف (^ D).

لاحظ أنه يمكن استخدام مفتاح المقاطعة (^ C في معظم الأنظمة) في أي وقت أثناء استخدام
العناق للتخلي عن عملية القراءة في ملف تعريفات الوظائف أو ملف
تقييم التعبير. عندما يتم الكشف عن المقاطعة ، العناق يطبع السلسلة
"{توقف!}"ويطبع الموجه بحيث يمكن إدخال أوامر أخرى.

ستاندالون برامج

• ركض command مترجم لبرنامج Hugs القابل للتنفيذ ، والذي يجب أن يحتوي على ملف
هاسكل الرئيسية وحدة. على سبيل المثال ، الملف القابل للتنفيذ مرحبا قد تحتوي على الأسطر

#! / usr / bin / runhugs +l

> وحدة الرئيسية أين
> رئيسي = وضع "مرحبا، العالم \ n "

عندما يتم تنفيذ هذا الملف ، ركض سوف تستدعي ال رئيسي وظيفة. أي حجج على
سيكون سطر الأوامر متاحًا من خلال getArgs.

نلاحظ أن #! يمرر مؤسسة واحدة فقط إلى البرنامج النصي. ال -X يمكن استخدام الخيار للحصول على
حول هذا.

C INTERFACE

في البنى التي تدعم الارتباط الديناميكي ، العناق تنفذ الجزء من هاسكل 98
أجنبي المسمى الوظيفي السطح البيني (FFI) الذي يسمح لوظائف Haskell باستدعاء إجراءات C. (على
معماريات x86 و PowerPC و Sparc ، كلها أجنبي استيرادمدعومة ؛ على الآخرين،
فقط ساكن يتم توفير الواردات.) الوحدات التي تحتوي على مثل أجنبي يجب أن تكون الإعلانات
تم تجميعها باستخدام ملف com.ffihugs الأمر قبل الاستخدام مع العناق. حجج إضافية لـ C
قد يتم توفير مترجم عبر وسيطة المترجمس. على سبيل المثال ، افترض أن لديك بعض C
وظائف في ج وبعض إقرارات FFI لتلك الوظائف في اختبار.hs والرمز
in ج يحتاج إلى تجميع مع -للم. ثم تقوم بتجميع الوحدة بامتداد
أمر

com.ffihugs اختبار.hs ج -للم

الذي يولد ملف كائن اختبار. اذا متى العناق الأحمال اختبار.hs، سيتم تحميله أيضًا
اختبار.

في FFI القياسي ، كل أجنبي استيراد يجب أن يسمي الإعلان ملف رأس C.
تحتوي على النموذج الأولي للوظيفة. لأن هذا غالبًا ما يكون مرهقًا ، com.ffihugs
يوفر الخيار الإضافي التالي:

-iشارع حدد تضمينًا لملف C الذي تم إنشاؤه. يجب أن تكون سلسلة التضمين
شيء يمكن أن يتبع "تتضمن #"في برنامج C ، كما في

com.ffihugs '-أنا " "-i" mydefs.h "" اختبار.hs ج -للم

البيئة

هوغسفلاغس
خيارات إضافية لـ العناق، يتم معالجتها قبل أي شيء في سطر الأوامر.

هقدير
دليل مكتبة Hugs (افتراضي: / usr / lib / hugs).

EDITOR المحرر الافتراضي ، إذا -E لا تعطى.

SHELL يُستخدم لتحديد الغلاف الذي يتم استدعاؤه بواسطة :! أمر.

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