सॉर्बेट, रूबी के लिए एक स्थिर प्रकार की जाँच प्रणाली, खुला स्रोत है।

ऑनलाइन भुगतान के लिए प्लेटफ़ॉर्म के विकास में विशेषज्ञता वाली स्ट्राइप कंपनी, खुल गया प्रोजेक्ट स्रोत कोड शर्बत, जिसके अंतर्गत रूबी भाषा के लिए एक स्थिर प्रकार की जाँच प्रणाली तैयार की गई थी। कोड C++ में लिखा गया है द्वारा वितरित अपाचे 2.0 के तहत लाइसेंस प्राप्त।

कोड में प्रकारों के बारे में जानकारी की गणना गतिशील रूप से की जा सकती है, और इसे सरल रूप में भी निर्दिष्ट किया जा सकता है एनोटेशन, जिसे sig विधि का उपयोग करके कोड में निर्दिष्ट किया जा सकता है (उदाहरण के लिए, “sig {params(x: Integer).returns(String)}”) या आरबीआई एक्सटेंशन के साथ अलग फ़ाइलों में रखा जा सकता है। संभव है प्रारंभिक के रूप में स्थैतिक कोड विश्लेषण इसे क्रियान्वित किए बिना, और इसे क्रियान्वित करते समय इसकी जाँच करना (उत्तेजित करता है कोड में "require 'sorbet-runtime'" जोड़कर।

संभावना प्रदान की गई क्रमिक अनुवाद सॉर्बेट का उपयोग करने के लिए परियोजनाएं - कोड एनोटेटेड टाइप किए गए ब्लॉक और सत्यापन द्वारा कवर नहीं किए गए अनटाइप किए गए क्षेत्रों दोनों को जोड़ सकता है। सुविधाओं में बहुत उच्च प्रदर्शन और कोड की लाखों पंक्तियों वाले कोड आधारों को स्केल करने की क्षमता भी शामिल है।

प्रोजेक्ट में स्थैतिक प्रकार की जाँच के लिए एक कर्नेल शामिल है,
सॉर्बेट का उपयोग करके नई परियोजनाएं बनाने के लिए एक टूलकिट, सॉर्बेट का उपयोग करने के लिए मौजूदा परियोजनाओं के चरण-दर-चरण स्थानांतरण के लिए एक टूलकिट, प्रकारों के बारे में एनोटेशन लिखने के लिए एक डोमेन-विशिष्ट भाषा के साथ एक रनटाइम और कोष विभिन्न रूबी रत्न पैकेजों के लिए तैयार प्रकार की परिभाषाओं के साथ।

प्रारंभ में, सॉर्बेट को स्ट्राइप कंपनी की आंतरिक परियोजनाओं की जांच करने के लिए विकसित किया गया था, जिनमें से अधिकांश भुगतान और विश्लेषणात्मक प्रणालियां रूबी भाषा में लिखी गई हैं, और विकास और कार्यान्वयन के डेढ़ साल बाद इसे ओपन सोर्स की श्रेणी में स्थानांतरित कर दिया गया था। कोड खोलने से पहले बीटा टेस्टिंग की गई, जिसमें 30 से ज्यादा कंपनियों ने हिस्सा लिया। विकास के वर्तमान चरण में, सॉर्बेट रूबी में अधिकांश मानक परियोजनाओं के लॉन्च का समर्थन करता है, लेकिन कुछ असंगतताएं हो सकती हैं।

स्रोत: opennet.ru