Sorbet, სტატიკური ტიპის შემოწმების სისტემა Ruby-სთვის, არის ღია წყარო.

Stripe კომპანია, რომელიც სპეციალიზირებულია ონლაინ გადახდების პლატფორმების შემუშავებაში, გახსნა პროექტის წყარო კოდები სორბეტი, რომლის ფარგლებშიც მომზადდა Ruby ენის სტატიკური ტიპის შემოწმების სისტემა. კოდი დაწერილია C++-ში და ვრცელდება ლიცენზირებულია Apache 2.0-ით.

კოდის ტიპების შესახებ ინფორმაცია შეიძლება გამოითვალოს დინამიურად, ასევე შეიძლება დაზუსტდეს მარტივი სახით ანოტაციები, რომელიც შეიძლება კოდში იყოს მითითებული sig მეთოდის გამოყენებით (მაგალითად, „sig {params(x: Integer).returns(String)}“) ან განთავსდეს ცალკეულ ფაილებში rbi გაფართოებით. ხელმისაწვდომია როგორც წინასწარი სტატიკური კოდის ანალიზი მისი შესრულების გარეშე და შემოწმება, თუ როგორ არის შესრულებული (ჩართულია კოდში „მოითხოვს „სორბეტის გაშვების დრო““-ს დამატებით.

გათვალისწინებულია შესაძლებლობა ეტაპობრივი თარგმანი პროექტები სორბეტის გამოსაყენებლად - კოდს შეუძლია გაერთიანდეს როგორც ანოტირებული აკრეფილი ბლოკები, ასევე დაუბეჭდავი უბნები, რომლებიც არ არის დაფარული ვერიფიკით. მახასიათებლებში ასევე შედის ძალიან მაღალი შესრულება და კოდის ბაზების მასშტაბირების შესაძლებლობა, რომელიც შეიცავს კოდის მილიონობით ხაზს.

პროექტი მოიცავს ბირთვს სტატიკური ტიპის შემოწმებისთვის,
ინსტრუმენტარიუმი სორბეტის გამოყენებით ახალი პროექტების შესაქმნელად, არსებული პროექტების ეტაპობრივი გადაცემის ინსტრუმენტარიუმი სორბეტის გამოსაყენებლად, გაშვების დრო დომენის სპეციფიკური ენით, ტიპებისა და ანოტაციების დასაწერად. საცავი მზა ტიპის განმარტებებით Ruby ძვირფასი ქვების სხვადასხვა პაკეტებისთვის.

თავდაპირველად, Sorbet შეიქმნა Stripe კომპანიის შიდა პროექტების შესამოწმებლად, რომლის გადახდის და ანალიტიკური სისტემების უმეტესობა დაწერილია Ruby ენაზე, და გადავიდა ღია წყაროს კატეგორიაში განვითარებისა და განხორციელების წელიწადნახევრის შემდეგ. კოდის გახსნამდე ჩატარდა ბეტა ტესტირება, რომელშიც მონაწილეობა 30-ზე მეტმა კომპანიამ მიიღო. განვითარების ამჟამინდელ ეტაპზე, Sorbet მხარს უჭერს Ruby-ში ყველაზე სტანდარტული პროექტების დაწყებას, მაგრამ შეიძლება იყოს გარკვეული შეუთავსებლობა.

წყარო: opennet.ru