„Stripe“ įmonė, kuri specializuojasi internetinių mokėjimų platformų kūrime, projekto šaltinio kodai , kurioje buvo parengta statinė Ruby kalbos tipo tikrinimo sistema. Kodas parašytas C++ ir licencijuota pagal Apache 2.0.
Informacija apie tipus kode gali būti skaičiuojama dinamiškai, taip pat gali būti nurodyta paprasta forma , kurį galima nurodyti kode naudojant sig metodą (pavyzdžiui, „sig {params(x: Integer).returns(String)}“) arba sudėti į atskirus failus su plėtiniu rbi. kaip preliminarus jo nevykdant ir tikrinant, kaip jis vykdomas ( prie kodo pridedant „require 'sorbet-runtime'“.
Suteikta galimybė projektai naudoti Sorbet - kodas gali sujungti tiek anotuotus įvestus blokus, tiek neįvestas sritis, kurios neapima patikrinimo. Funkcijos taip pat apima labai didelį našumą ir galimybę keisti kodo bazes, kuriose yra milijonai kodo eilučių.
Projekte yra statinio tipo tikrinimo branduolys,
įrankių rinkinys naujiems projektams kurti naudojant Sorbet, įrankių rinkinys, skirtas laipsniškam esamų projektų perkėlimui į Sorbet, vykdymo laikas su konkrečiai domenui skirta kalba, skirta rašyti komentarus apie tipus ir su paruoštais įvairių Ruby brangakmenių paketų tipų apibrėžimais.
Iš pradžių „Sorbet“ buvo sukurtas siekiant patikrinti įmonės „Stripe“, kurios dauguma mokėjimų ir analitinių sistemų yra parašytos „Ruby“ kalba, vidaus projektams, o po pusantrų metų kūrimo ir diegimo buvo perkeltas į atvirojo kodo kategoriją. Prieš atidarant kodą buvo atliktas beta testavimas, kuriame dalyvavo daugiau nei 30 įmonių. Dabartiniame kūrimo etape „Sorbet“ palaiko daugumos standartinių projektų „Ruby“ paleidimą, tačiau gali būti tam tikrų nesuderinamumo.
Šaltinis: opennet.ru