Perusahaan Stripe, khusus dina pamekaran platform pikeun pamayaran online, kode sumber proyék , dimana sistem pamariksaan tipe statik pikeun basa Ruby disiapkeun. Kode ieu ditulis dina C ++ jeung dilisensikeun dina Apache 2.0.
Émbaran ngeunaan jenis dina kode bisa diitung dinamis, sarta ogé bisa dieusian dina bentuk basajan , nu bisa dieusian dina kode ngagunakeun métode sig (contona, "sig {params (x: Integer) .returns (String)}") atawa disimpen dina file misah jeung extension rbi. salaku awal tanpa ngaéksekusi, sareng mariksa nalika dieksekusi ( ku nambahkeun "merlukeun 'sorbet-runtime'" kana kode.
Kamungkinan disadiakeun proyék ngagunakeun Sorbet - kode bisa ngagabungkeun duanana blok diketik annotated jeung wewengkon untyped teu katutupan ku verifikasi. Fitur ogé kalebet kinerja anu luhur pisan sareng kamampuan skala pikeun dasar kode anu ngandung jutaan garis kode.
Proyék ieu kalebet kernel pikeun mariksa jinis statik,
a toolkit pikeun nyieun proyék anyar maké Sorbet, a toolkit pikeun mindahkeun hambalan-demi-hambalan proyék nu geus aya ngagunakeun Sorbet, a runtime kalawan basa domain-spésifik pikeun nulis anotasi ngeunaan jenis na. kalawan definisi tipe siap-dijieun pikeun sagala rupa bungkusan Ruby gems.
Mimitina, Sorbet dikembangkeun pikeun mariksa proyék-proyék internal perusahaan Stripe, anu kalolobaan pamayaran sareng sistem analitikna ditulis dina basa Ruby, sareng dialihkeun kana kategori open source saatos sataun satengah pangwangunan sareng palaksanaan. Sateuacan muka kode, uji béta dilaksanakeun, dimana langkung ti 30 perusahaan nyandak bagian. Dina tahap pangwangunan ayeuna, Sorbet ngadukung peluncuran kalolobaan proyék standar di Ruby, tapi meureun aya sababaraha sauyunan.
sumber: opennet.ru