3
F * (وضوحا F star) هي لغة برمجة وظيفية تشبه ML تهدف إلى التحقق من البرنامج.يشتمل نظام النوع الخاص به على تعدد الأشكال ، والأنواع التابعة ، والآثار الأحادية ، وأنواع التحسين ، وأضعف حساب التفاضل والتكامل المسبق.معًا ، تتيح هذه الميزات التعبير عن المواصفات الدقيقة والمدمجة للبرامج ، بما في ذلك خصائص الصحة الوظيفية.يهدف مدقق النوع F * إلى إثبات أن البرامج تلبي مواصفاتها باستخدام مزيج من SMT لحل الأدلة والبراهين اليدوية.يمكن ترجمة البرامج المكتوبة باللغة F * إلى OCaml أو F # للتنفيذ ....
f-
موقع الكتروني:
https://www.fstar-lang.orgالمميزات
التصنيفات
بدائل لـ F* لنظام التشغيل Mac
17
F# (programming language)
F # هي لغة وظيفية وموجهة وفعالة وموجزة وفعالة وموجهة ل. NET والتي تساعدك على كتابة التعليمات البرمجية البسيطة لحل المشاكل المعقدة.
5
4
3
3
2
1
Network Security Toolkit
يستند قرص ISO / CD الحي القابل للتشغيل (NST Live) إلى Fedora.