Компанија Стрипе, специјализована за развој платформи за онлајн плаћања, изворни кодови пројекта , у оквиру које је припремљен статички систем провере типова за језик Руби. Код је написан у Ц++ и лиценциран под Апацхе 2.0.
Информације о типовима у коду могу се динамички израчунати, а могу се навести и у облику једноставног , који се може навести у коду помоћу методе сиг (на пример, „сиг {парамс(к: Интегер).ретурнс(Стринг)}”) или смештен у засебне датотеке са екстензијом рби. као прелиминарни без извршавања и провера како се извршава ( додавањем "рекуире 'сорбет-рунтиме'" у код.
Могућност обезбеђена пројекти за коришћење Сорбет-а - код може комбиновати и означене откуцане блокове и неоткуцане области које нису обухваћене верификацијом. Карактеристике такође укључују веома високе перформансе и могућност скалирања за базе кода које садрже милионе линија кода.
Пројекат укључује кернел за статичку проверу типа,
комплет алата за креирање нових пројеката користећи Сорбет, комплет алата за постепени трансфер постојећих пројеката на Сорбет, рунтиме са језиком специфичним за домен за писање напомена о типовима и са готовим дефиницијама типа за различите пакете Руби драгуља.
У почетку, Сорбет је развијен за проверу интерних пројеката компаније Стрипе, чији је већина платних и аналитичких система написан на језику Руби, а пребачен је у категорију отвореног кода након годину и по развоја и имплементације. Пре отварања кода, спроведено је бета тестирање у коме је учествовало више од 30 компанија. У тренутној фази развоја, Сорбет подржава покретање већине стандардних пројеката у Руби-у, али можда постоје неке некомпатибилности.
Извор: опеннет.ру