شركة Stripe المتخصصة في تطوير منصات الدفع عبر الإنترنت، رموز مصدر المشروع ، حيث تم إعداد نظام فحص النوع الثابت للغة روبي. الكود مكتوب بلغة C++ و مرخص بموجب Apache 2.0.
يمكن حساب المعلومات المتعلقة بالأنواع الموجودة في الكود ديناميكيًا، كما يمكن تحديدها بشكل بسيط ، والتي يمكن تحديدها في التعليمات البرمجية باستخدام طريقة sig (على سبيل المثال، "sig {params(x: Integer).returns(String)}") أو وضعها في ملفات منفصلة بامتداد rbi. كأولية دون تنفيذه، والتحقق منه أثناء تنفيذه ( عن طريق إضافة "يتطلب" وقت تشغيل شربات "" إلى الكود.
إمكانية المقدمة مشاريع لاستخدام Sorbet - يمكن أن يجمع الكود بين الكتل المكتوبة المشروحة والمناطق غير المكتوبة التي لا يغطيها التحقق. تتضمن الميزات أيضًا أداءً عاليًا للغاية والقدرة على التوسع في قواعد التعليمات البرمجية التي تحتوي على ملايين الأسطر من التعليمات البرمجية.
يتضمن المشروع نواة للتحقق من النوع الثابت،
مجموعة أدوات لإنشاء مشاريع جديدة باستخدام Sorbet، ومجموعة أدوات لنقل المشاريع الحالية خطوة بخطوة لاستخدام Sorbet، ووقت تشغيل مع لغة خاصة بالمجال لكتابة التعليقات التوضيحية حول الأنواع و مع تعريفات نوعية جاهزة لمختلف حزم جواهر روبي.
في البداية، تم تطوير Sorbet للتحقق من المشاريع الداخلية لشركة Stripe، والتي تتم كتابة معظم أنظمة الدفع والتحليل فيها بلغة روبي، وتم نقلها إلى فئة المصادر المفتوحة بعد عام ونصف من التطوير والتنفيذ. قبل فتح الكود، تم إجراء اختبار تجريبي شاركت فيه أكثر من 30 شركة. في المرحلة الحالية من التطوير، يدعم Sorbet إطلاق معظم المشاريع القياسية في روبي، ولكن قد تكون هناك بعض حالات عدم التوافق.
المصدر: opennet.ru