रुबीसाठी शरबत, एक स्थिर प्रकार तपासणी प्रणाली, मुक्त स्रोत आहे.

स्ट्राइप कंपनी, ऑनलाइन पेमेंटसाठी प्लॅटफॉर्मच्या विकासात विशेष, उघडले प्रकल्प स्त्रोत कोड शर्बत, ज्यामध्ये रुबी भाषेसाठी एक स्थिर प्रकार तपासणी प्रणाली तयार करण्यात आली होती. कोड C++ आणि मध्ये लिहिलेला आहे द्वारा वितरित Apache 2.0 अंतर्गत परवानाकृत.

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

शक्यता दिली क्रमिक भाषांतर Sorbet वापरण्यासाठी प्रकल्प - कोड हे दोन्ही भाष्य केलेले टाईप केलेले ब्लॉक्स आणि पडताळणीत समाविष्ट नसलेले टाईप न केलेले भाग एकत्र करू शकतात. वैशिष्ट्यांमध्ये खूप उच्च कार्यक्षमता आणि कोडच्या लाखो ओळी असलेल्या कोड बेससाठी स्केल करण्याची क्षमता देखील समाविष्ट आहे.

प्रकल्पामध्ये स्टॅटिक प्रकार तपासणीसाठी कर्नल समाविष्ट आहे,
Sorbet वापरून नवीन प्रकल्प तयार करण्यासाठी टूलकिट, Sorbet वापरण्यासाठी विद्यमान प्रकल्पांच्या चरण-दर-चरण हस्तांतरणासाठी टूलकिट, प्रकारांबद्दल भाष्ये लिहिण्यासाठी डोमेन-विशिष्ट भाषेसह रनटाइम आणि भांडार विविध रुबी रत्नांच्या पॅकेजेससाठी रेडीमेड प्रकारच्या व्याख्यांसह.

सुरुवातीला, Sorbet स्ट्राइप कंपनीचे अंतर्गत प्रकल्प तपासण्यासाठी विकसित केले गेले होते, ज्यातील बहुतेक पेमेंट आणि विश्लेषणात्मक प्रणाली रुबी भाषेत लिहिलेल्या आहेत, आणि विकास आणि अंमलबजावणीच्या दीड वर्षानंतर ओपन सोर्सच्या श्रेणीमध्ये हस्तांतरित केले गेले. कोड उघडण्यापूर्वी, बीटा चाचणी घेण्यात आली, ज्यामध्ये 30 हून अधिक कंपन्यांनी भाग घेतला. विकासाच्या सध्याच्या टप्प्यावर, सॉर्बेट रुबीमधील बहुतेक मानक प्रकल्पांच्या लॉन्चला समर्थन देते, परंतु काही विसंगती असू शकतात.

स्त्रोत: opennet.ru