Сорбет, систем за проверка на статички тип за Руби, е со отворен код.

Stripe компанија, специјализирана за развој на платформи за онлајн плаќања, отворен изворни кодови на проектот Шербет, во рамките на кој беше подготвен систем за проверка на статички тип за јазикот Руби. Кодот е напишан во C++ и дистрибуирани од лиценциран под Apache 2.0.

Информациите за типовите во кодот може да се пресметаат динамички, а исто така може да се специфицираат во форма на едноставни прибелешки, кој може да биде наведен во код користејќи го методот sig (на пример, „sig {params(x: Integer).returns(String)}“) или сместен во посебни датотеки со наставката rbi. Достапно како прелиминарно анализа на статички код без да се изврши и да се провери како е извршено (се вклучува со додавање на „require 'sorbet-runtime'“ во кодот.

Обезбедена можност постепен превод проекти за користење на шербет - кодот може да ги комбинира и означените отчукувани блокови и нетипизираните области кои не се опфатени со верификација. Карактеристиките исто така вклучуваат многу високи перформанси и можност за скалирање за бази на код што содржат милиони линии код.

Проектот вклучува кернел за проверка на статички тип,
пакет со алатки за креирање нови проекти со помош на Sorbet, комплет со алатки за чекор-по-чекор трансфер на постоечки проекти за користење на Sorbet, времетраење со јазик специфичен за домен за пишување прибелешки за типови и складиште со готови дефиниции за типови за различни пакувања со скапоцени камења Руби.

Првично, Sorbet беше развиен за проверка на внатрешните проекти на компанијата Stripe, чии повеќето системи за плаќање и аналитика се напишани на јазикот Руби, а беше префрлен во категоријата отворен код по година и половина развој и имплементација. Пред отворањето на кодот, беше извршено бета тестирање, во кое учествуваа повеќе од 30 компании. Во сегашната фаза на развој, Sorbet го поддржува лансирањето на повеќето стандардни проекти во Ruby, но може да има некои некомпатибилности.

Извор: opennet.ru