 | F7.TYECHECKER المحسن لغرفة برمجة F # |
| التحميل الان | |
F7. الترتيب والملخص
الإعلانات
- رخصة:
- Freeware
- اسم الناشر:
- Microsoft Research
- أنظمة التشغيل:
- Windows 2K / XP / Vista / 7
- حجم الملف:
- 3.2 MB
F7. العلامات
F7. وصف
تم تطوير F7 لتكون مجموعة Typechecker المحسنة لغلق البرمجة F #. يدعم F7 التحقق الثابت للعقارات المعبر عن أنواع الصقل. الدافع لدينا هو التحقق من خصائص الأمان المختلفة لرمز تنفيذ F # عن طريق الكتابة. يتيح F7 Typechecker المبرمجين التعبير عن أنواع الأسماء والتحقق منها بشكل ثابت للبرامج المكتوبة في F #. يدعم التنفيذ الحالي ل Typechecker فقط مجموعة فرعية من F # ويعمل بشكل أفضل عند توفير التعليقات التوضيحية وفقا لبعض التعابير. لاستخدام Typechecker، يجب أن يقوم المبرمج بإعادة تشغيل واجهات F7 لكل وحدة نمطية لكل F # في برنامج TheX. واجهات F7 لديها su ffi x .fs7 لتمييزها من واجهات F # العادية (التي لديها سو ffi x .fsi)؛ قد تحتوي على أنواع خارج نظام نوع F #. تحتوي وحدات F # Su FFI X .FS وتحتوي على رمز INMODI F #. في نهجنا الحالي، يجب تقديم جميع التعليقات التوضيحية من نوع الأسمنت في واجهة F7. بالنظر إلى وحدة نمط F # مع واجهة F7 M.FS7، يمكن استدعاء Typechecker بطريقتين. أولا، يمكن استدعاءه باستخدام -Genfsi FL AG لإنشاء واجهة F # M.FSI من خلال محو كل Nements ret f7.exe -genfsi m.fs7. ثانيا، يمكن استدعاءها ل Typecheck M.Fs ضد الأنواع المعلنة في M.FS7. f7.exe m.fs7 m.fs. بشكل عام، ستتضمن خطوط الأوامر هذه سلسلة من وحدات F # واجهات F7، بما في ذلك واجهات لجميع وحدات المكتبة. واجهة مكتبة خاصة، تسمى Pervasives.FS7، تعلن أنواع المشتركة F #، مثل الأعداد الصحيحة والسلاسل والأولية والقوائم والقوائم، ومشغليهم المشتركين، مثل العمليات الحسابية والودود المنطقي. يمكن تمديد هذه المكتبة لتضمين أي مشغل F # يحتاج البرنامج إلى استخدامه.
F7. برامج ذات صلة
