Ruby용 정적 유형 검사 시스템인 Sorbet은 오픈 소스입니다.

온라인 결제 플랫폼 개발을 전문으로 하는 스트라이프컴퍼니(Stripe Company)는 열림 프로젝트 소스 코드 셔벗, Ruby 언어에 대한 정적 유형 검사 시스템이 준비되었습니다. 코드는 C++로 작성되었으며, 배포자 Apache 2.0에 따라 라이센스가 부여되었습니다.

코드의 유형에 대한 정보는 동적으로 계산할 수 있으며 간단한 형태로 지정할 수도 있습니다. 주석, 이는 sig 메서드(예: "sig {params(x: Integer).returns(String)}")를 사용하여 코드에 지정하거나 rbi 확장자를 사용하여 별도의 파일에 배치할 수 있습니다. 가능하다. 예비적으로 정적 코드 분석 실행하지 않고 실행되는 동안 확인합니다(켜다 코드에 "'sorbet-runtime' 필요"를 추가합니다.

가능성 제공 점진적 번역 Sorbet을 사용하는 프로젝트 - 코드는 주석이 달린 입력된 블록과 확인 대상이 아닌 입력되지 않은 영역을 모두 결합할 수 있습니다. 또한 매우 높은 성능과 수백만 줄의 코드가 포함된 코드 기반에 맞게 확장할 수 있는 기능도 포함되어 있습니다.

프로젝트에는 정적 유형 검사를 위한 커널이 포함되어 있습니다.
유형에 대한 주석을 작성하기 위한 도메인별 언어가 포함된 런타임인 Sorbet을 사용하기 위해 기존 프로젝트를 단계별로 전송하기 위한 툴킷인 Sorbet을 사용하여 새 프로젝트를 생성하기 위한 툴킷 저장소 다양한 Ruby gems 패키지에 대해 미리 만들어진 유형 정의가 있습니다.

처음에 Sorbet은 대부분의 지불 및 분석 시스템이 Ruby 언어로 작성된 Stripe 회사의 내부 프로젝트를 확인하기 위해 개발되었으며, 30년 반의 개발 및 구현 후에 오픈 소스 범주로 옮겨졌습니다. 코드 오픈 전 XNUMX개 이상의 기업이 참여한 베타 테스트가 진행됐다. 현재 개발 단계에서 Sorbet은 Ruby에서 대부분의 표준 프로젝트 실행을 지원하지만 일부 비호환성이 있을 수 있습니다.

출처 : opennet.ru