Koden för Sorbet, ett system för statisk typkontroll för Ruby, har blivit öppet.

Företaget Stripe, som specialiserar sig på att utveckla plattformar för onlinebetalningar, öppnade öppna källkoder för projektet Sorbet, i vilket det har skapats ett system för statisk typkontroll för språket Ruby. Koden är skriven i C++ och sprids är licensierad under Apache 2.0.

Typinformation i koden kan beräknas dynamiskt samt anges i formen av enkla annoteringar, som kan anges i koden med metoden sig (till exempel "sig {params(x: Integer).returns(String)}") eller placeras i separata filer med filändelsen rbi. Det är möjligt både för förhandsvisning statisk kodanalys utan att köra den, samt kontroll vid körning (aktiveras genom att lägga till "require 'sorbet-runtime'" i koden.

Det finns möjlighet till gradvis övergång av projekt till att använda Sorbet - i koden kan både annoterade typade block och icke-typade delar som inte omfattas av kontroll samexistera. Noterbart är också den mycket höga prestandan och möjligheten till skalning för kodbaser som innehåller miljontals rader kod.

Projektet innefattar en kärna för statisk typkontroll,
verktyg för att skapa nya projekt med hjälp av Sorbet, verktyg för gradvis övergång av befintliga projekt till användning av Sorbet, runtime med ett objektinriktat språk för skrivande av typannoteringar och arkiv färdiga typdefinitioner för olika gems-paket på Ruby.

Sorbet utvecklades ursprungligen för att kontrollera interna projekt hos Stripe, där den största delen av betalnings- och analysystemet är skrivet i Ruby, och blev öppet efter en och en halv års utveckling och implementering. Innan koden öppnades genomfördes en betatestning där över 30 företag deltog. På nuvarande utvecklingsstadium stöder Sorbet körning av de flesta typiska projekt på Ruby, men vissa inkompatibiliteter kan förekomma.

Källa: opennet.ru