F* (pronounced F star) is an ML-like functional programming language aimed at program verification. Its type system includes polymorphism, dependent types, monadic effects, refinement types, and a weakest precondition calculus. Together, these features allow expressing precise and compact specifications for programs, including functional correctness and security properties.
0
الشركات
إحصائيات استخدام التكنولوجيا وحصة السوق
يمكنك تخصيص هذه البيانات لتلبية احتياجاتك عن طريق التصفية بحسب الموقع الجغرافي، الصناعة، حجم الشركة، الإيرادات، استخدام التكنولوجيا، الوظائف، وغير ذلك. يمكنك تنزيل البيانات بتنسيق Excel أو CSV.
يمكنك الحصول على تنبيهات لهذا البيانات. يمكنك البدء باختيار التكنولوجيا التي تهتم بها، ثم ستحصل على تنبيهات في صندوق الوارد لديك عندما تكون هناك شركات جديدة تستخدم تلك التكنولوجيا.
يمكنك تصدير بياناته إلى ملف Excel، الذي يمكن استيراده إلى CRM الخاص بك. يمكنك أيضًا تصدير البيانات إلى API.
الأسئلة الشائعة