المغزى الانجراف هو ما قبل المسامير الحساسة للنوع ل Haskell.
التحميل الان

المغزى الترتيب والملخص

المغزى العلامات

هاسكل المعالج preprocessor haskell. اكتب المعالج حساسة استخراج التصريحات حساس

المغزى وصف

الانجراف هو Preprocessor نوع حساس للنوع ل Haskell. الانجراف هو Preprocessor نوع حساس للنوع ل Haskell. مقتطفات المشروع أنواع الإعلانات والتوجيهات من الوحدات النمطية. تسبب التوجيهات التي تسبب فيها قواعد لإطلاقها في تصريحات النوع المحلي، وتوليد رمز جديد ثم إلحاقه بعد ذلك إلى أسفل ملف الإدخال. يتم التعبير عن القواعد ك Code Haskell، ومن المقصود أن يقوم المستخدم بإضافة قواعد جديدة كما هو مطلوب .DFT أتمتة اشتقاق المثيل للفصول التي لا تدعمها المترجمين المترجمين القياسيين. بالإضافة إلى ذلك، يمكن إنتاج الحالات في الوحدات النمطية المنفصلة إلى ذلك التي تحتوي على إعلان النوع. يسمح هذا بالحالات التي سيتم استخلاصها لنوع بعد ترجمة الوحدة النمطية الأصلية. ككافأة، يمكن أيضا إنتاج وظائف الأداة المساعدة البسيطة من النوع. هناك بعض الميزات الرئيسية ل "الانجراف": الانجراف يأتي مع مجموعة من القواعد لإنتاج مثيلات لجميع الفئات المشتقة المقدمة في مقدمة Hasekell. هناك أيضا عدد من القواعد المفيدة الإضافية لاستخلاص مثيلات مجموعة متنوعة من الفئات المفيدة. الانجراف يؤدي استيراد المطاردة للعثور على تعريف النوع. يتم إنشاء رمز باستخدام مجاتين الطباعة الجميلة. هذا يعني أن الناتج هو (إلى حد ما) منسقة جيدا، وسهلة العين. جهد جهد لجعل واجهة القاعدة سهلة الاستخدام قدر الإمكان. هذا هو السماح للمستخدمين بإضافة قواعد لتوليد رمز خاص بمشاريعهم الخاصة. نظرا لأن القواعد مكتوبة في Haskell، لا يتعين على المستخدم تعلم اللغة الجديدة للتعبير عن القواعد. تشمل المشتقات المدعومة بشكل منتظم: ثنائي: ثنائي البيانات. الترميز الثنائي الذهبي من الفيتسبينيا الترميز الثنائي الفعال من مصطلحات البايت أشهاه: تعسفي مشتق تعسفية معقولة ل HOSPCHECK Compountable Hood Applieweral: توفر NFDATA "RNF" للحد من النموذج العادي (DeepseQ) CAME يستوعب من الناحية الديناميكية: FuncTorm Derive Derive FMAPM تطبيق معقول Strafunski Holdr Monoid Rmapm RMAPM تنفيذ مصطلح Strafunski من خلال Dynamicprelude: ENUM EQ ENUM ORD قراءة الإظهار "هل"، "قد"، من "الحصول على" إجراءات "الحصول عليها" من PRIVI des fromfoo لكل منشئ الحصول على تسمية "foo" توفر foo_g للحصول عليه لأنواع hasfoo للحصول على أنواع التسجيلات يوفر ISFOO لكل بيانات اختبار الناتج من الناتج لاختبار UN يوفر غير المكافئ من أجل تحديث منشئو المحافات "FOO" يوفر "foo_u" قم بتحديثه و FOO_S لتعيينها جديدا في هذا الإصدار: العديد من التحسينات والوجود.

المغزى برامج ذات صلة