Shopify는 현재 75,000개 파일 중 99%를 Sorbet으로 검사하고 있으며, 150만 메서드의 71%에 타입 시그니처를 적용하여 생산 환경에서의 오류를 크게 줄이고 있습니다. 그럼에도 불구하고 개발자 설문조사 결과, 80%의 개발자가 더 많은 코드에 타입이 지정되기를 원하고 71%가 Sorbet 기능 활용을 위해 코드베이스의 타입 지정을 지지했지만, 거의 75%의 개발자가 기존 워크플로우에 원활하게 통합될 수 있는 더 사용자 친화적이고 읽기 쉬운 구문을 요구했습니다. 기존 Sorbet은 Ruby를 DSL로 사용하여 타입 표현이 장황하고 sorbet-runtime gem으로 인한 성능 오버헤드가 있어 프로덕션 환경에서는 런타임 타입 체크를 비활성화해야 했습니다.
이러한 요구에 부응하여 Ruby 3.0에 도입된 타입 정의 언어인 RBS에 주목했습니다. RBS는 .rbs 파일을 통해 코드와 타입 정의를 분리하여 더 명확하고 간결하게 타입을 기술할 수 있습니다. 하지만 .rbs 파일의 중복 관리 문제, 로컬 변수 타입 지원 부족, 대규모 코드베이스를 위한 확장 가능한 타입 체커 부재 등의 한계가 있었습니다. 그럼에도 불구하고 Sorbet의 많은 기능이 RBS와 잘 부합했기에, 두 방식의 강점을 활용하기 위한 통합은 자연스러운 진전이었습니다.
Shopify의 목표는 Ruby 파일 내에 직접 간결한 타입 주석을 추가하는 것이었습니다. 이를 위해 Sorbet의 타입 체크 파이프라인에 새로운 단계를 도입했습니다. 이 단계에서는 RBS 주석을 찾아 관련 AST(Abstract Syntax Tree) 노드와 연결한 후, RBS 내용을 파싱하여 마치 처음부터 Ruby 파일에 작성된 것처럼 동등한 Sorbet의 sig 및 T.let 구문을 AST 내에 직접 생성합니다. 이 과정은 Sorbet 파이프라인의 나머지 부분이 원활하게 작동하도록 보장합니다.
현재 Sorbet은 인스턴스 및 싱글톤 메서드에 대한 RBS 시그니처 주석(#:), 여러 줄에 걸쳐 작성 가능한 시그니처(#|:), 속성(attr_reader :nickname #: String?), 로컬/전역/인스턴스/클래스 변수 및 상수(local = ARGV.first #: String?)에 대한 타입 지정을 지원합니다. 이는 T.let과 동등합니다. 또한 #: as를 사용한 타입 캐스팅(name = ARGV.first #: as String)은 T.cast와, #: as !nil을 사용한 널 불가능 타입 캐스팅(name = ARGV.first #: as !nil)은 T.must와 동등합니다. 표현식 중간이나 호출 수신자에 대한 타입 단언도 가능하여 유연성을 더합니다.