Open-sourcing Sorbet: a fast, powerful type checker for Ruby · Sorbet
We’re excited to announce that Sorbet is now open source and you can try it today. Sorbet is a fast, powerful type checker designed for Ruby. It scales to codebases with millions of lines of code and can be adopted incrementally. We designed Sorbet to be used at Stripe, where the vast majority of our code is written in Ruby. We’ve spent the last year and a half developing and adopting Sorbet inter
Ruby 3の静的解析機能のRBS、TypeProf、Steep、Sorbetの関係についてのノート - クックパッド開発者ブログ
こんにちは、フルタイムRubyコミッタとして働いてる遠藤（@mametter）です。 Ruby 3 は「静的型解析」を備えることが目標の 1 つになっています。遠藤が開発してる TypeProf は Ruby 3 の静的型解析エコシステムの中の 1 ツールです。しかし Ruby 3 の静的解析というと、RBS、TypeProf、Steep、Sorbet などいろいろなツール名が出てきてよくわからない、という声を何回か聞いたので、かんたんにまとめておきます。 3 行まとめ RBS：Ruby の型情報を扱う言語。Ruby 3 にバンドルされる。 TypeProf：型注釈のない Ruby コードを型解析するツール。Ruby 3 にバンドルされる。 Steep/Sorbet：Ruby で静的型付けのプログラミングができるツール。 詳しくはそれぞれ以下で解説します。 RBS とは RBS は、Rub
Sorbet Compiler: An experimental, ahead-of-time compiler for Ruby · Sorbet
For the past year, the Sorbet team has been working on an experimental, ahead-of-time compiler for Ruby, powered by Sorbet and LLVM. Today we’re sharing the source code for it. It lives alongside the existing code for Sorbet on GitHub, mostly in the compiler/ folder: → https://github.com/sorbet/sorbet/tree/master/compiler/ We want to be clear up front: the code is nowhere near ready for external u
申告チームでテックリードをやらせてもらっている id:nanjakkun です。 freeeではfreee会計をはじめ多くのプロダクトがRuby on Rails(以下Rails)のアプリケーションとして実装されています。 日々の開発の中で、Rubyでも静的な型の解決ができればなあと思うことがあります。 ということで、Rubyの型チェッカーのSorbetをfreee申告に導入してみました。 Sorbet(ソルベ)とは sorbet.org 決済代行サービスのStripeを運営しているStripe社が公開している漸進的型チェッカーです。 ※余談ですがfreeeアプリストアではStripeを決済手段としたアプリの有料販売ができます。 developers.freee.co.jp 有料アプリ販売の準備をする | freee Developers Community 漸進的型付けとは 漸進的型付け
昨日のAsakusa.rbに行ったらSorbetについて聞かれたので、少し話したんだけど、ちょっときちんと確認しないまま話したらぐだぐだだったので、もう少しまとめておく。 全体的な話として、Sorbetはとても良くできているので、これで良いと思う人はそれで良いと思います。 $ srb --version Sorbet typechecker 0.4.4306 git 31ef906fe5eb572865f2b5d3ea5805793554c676 built on 2019-06-25 06:45:18 GMT with debug symbols Rubyと少し合わないところはあるので、その辺を挙げる。 1. サブタイピング いわゆるDuck typingというやつが、まあ良くない。 sig { params(arg: Eachable).void } def push_from(arg
Help us understand the problem. What are the problem?
速報: Ruby向け型チェッカー「Sorbet」をStripeがオープンソース化｜TechRacho by BPS株式会社
こんにちは、hachi8833です。決済代行サービスで知られるStripeが手がけているRuby向けの漸進的（gradual）型チェッカー「Sorbet」（ソルベ）がオープンソース化されたというアナウンスがありました。別記事で「この夏オープンソース化」と報じた通りでした😋。 We’re excited to announce that Sorbet—a fast, powerful type checker for Ruby, built by @Stripe—is now open source! See https://t.co/K9FL9x0sbw for more. — Sorbet (@sorbet_ruby) June 20, 2019 相変わらずかわゆいロゴです😍。trademark policyには名前がありませんが、本当の名前は何なんでしょう？😅。ひとまず私の中でだ
リンクアンドモチベーション Advent Calendar 2023の15日目の記事です はじめに 株式会社リンクアンドモチベーションの葛葉（くずば）です。 現在新卒2年目で、モチベーションクラウドのバックエンドエンジニアとして、新規機能の開発を担当しています。 複数の言語でもサーベイの回答、結果の確認ができるようにする開発をおこなっています。 本記事では、メイン業務と並行で進めていたプロジェクト 「Ruby（Ruby on Rails）における静的型付け」 について書きたいと思います。 同じように静的型付けを導入しようとしているプロダクトは少なくないと思います。 この記事を見ることで、 記事となっています。少しでも参考になれば幸いです。 【背景】 なぜ型宣言する必要があるのか 1.動的型付け言語「Ruby」の特徴 プロダクトに使われている言語「Ruby」は動的型付け言語と言われていて、型
GitHub - sorbet/sorbet: A fast, powerful type checker designed for Ruby
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
SorbetでRailsアプリの型シグネチャ作成とメンテを行ってみた（翻訳）｜TechRacho by BPS株式会社
概要 原著者の許諾を得て翻訳・公開いたします。 英語記事: How I write and maintain type signatures in my Rails app with Sorbet | Connor Shea 原文公開日: 2021/05/14 原著者: Connor Shea -- コロラド州出身のWeb開発者、特に好きなものはRuby、ゲーム、GIF、CSS要素を垂直に中央揃えすること 本記事アイキャッチ画像のSorbetアイコンは、Apache License 2.0に基づいてhttps://github.com/sorbet/sorbetより引用しました。 最小限の手間でRailsアプリに型チェックを追加する Sorbetは、Stripe社が開発したRuby用の段階的型チェッカーです。リリース前の約1年間は冷やかされ気味でしたが、2019年初頭にTypeScript
CodeZine編集部では、現場で活躍するデベロッパーをスターにするためのカンファレンス「Developers Summit」や、エンジニアの生きざまをブーストするためのイベント「Developers Boost」など、さまざまなカンファレンスを企画・運営しています。
Yesterday Square posted an article to their blog introducing RBS (Ruby Signature), a type syntax format for Ruby 3. We’d like to take a second to speak to how RBS relates to Sorbet. The short version: Sorbet will happily incorporate RBS as a way to specify type annotations, in addition to the existing syntax Sorbet supports. Stripe still has a very strong commitment to Sorbet’s continued progress
週刊Railsウォッチ: SorbetのRuby AOTコンパイラが公開、「Compiler Explorer」にRubyが追加、Ractorで非同期通信ほか（20210823後編）｜TechRacho by BPS株式会社
週刊Railsウォッチについて 各記事冒頭には🔗でパーマリンクを置いてあります: 社内やTwitterでの議論などにどうぞ 「つっつきボイス」はRailsウォッチ公開前ドラフトを（鍋のように）社内有志でつっついたときの会話の再構成です👄 お気づきの点がありましたら@hachi8833までメンションをいただければ確認・対応いたします🙏 TechRachoではRubyやRailsなどの最新情報記事を平日に公開しています。TechRacho記事をいち早くお読みになりたい方はTwitterにて@techrachoのフォローをお願いします。また、タグやカテゴリごとにRSSフィードを購読することもできます（例:週刊Railsウォッチタグ） 🔗Ruby 🔗 SorbetのRuby AOTコンパイラ（Ruby Weeklyより） 元記事: Sorbet Compiler: An experime
We’re excited to announce that Stripe’s VS Code extension for Sorbet is now open source. We’ve designed Sorbet to be used in editors from Day 1—For the past two years, Sorbet has exposed a flag (--lsp) that starts Sorbet in Language Server Protocol (LSP) mode. In this mode, Sorbet can respond to many LSP requests, like Go To Definition, Find All References, Autocomplete, and more. With this releas
週刊Railsウォッチ（20200212後編）Rubyistが解説するUnicodeとUTF-8、Sorbetが速い理由、CSSの歴史、2019年の脆弱性まとめほか｜TechRacho by BPS株式会社
2020.02.12 週刊Railsウォッチ（20200212後編）Rubyistが解説するUnicodeとUTF-8、Sorbetが速い理由、CSSの歴史、2019年の脆弱性まとめほか こんにちは、hachi8833です。昨日の大江戸Ruby会議をすっかり見落としてました😇。 大江戸Ruby会議で話すので東京にいたらそこで会いましょう！ https://t.co/w1ADFEMhnx — Aaron Patterson (@tenderlove) February 8, 2020 サイト: 大江戸Ruby会議08 -- 終わりました 各記事冒頭には⚓でパーマリンクを置いてあります: 社内やTwitterでの議論などにどうぞ 「つっつきボイス」はRailsウォッチ公開前ドラフトを（鍋のように）社内有志でつっついたときの会話の再構成です👄 毎月第一木曜日に「公開つっつき会」を開催していま
This is the second in an indefinite series of posts about things that I think went well in the Sorbet project. The previous one covered our testing approach. Sorbet is fast. Numerous of our early users commented specifically on how fast it was, and how much they appreciated this speed. Our informal benchmarks on Stripe’s codebase clocked it as typechecking around 100,000 lines of code per second p
Last week, we deployed a refactoring patch to our Ruby codebase that was big for us 1 – 178 files changed: Changeset. If you’d asked me five years ago how to safely deploy a change of this size in Ruby, I’d have a very simple answer: you can’t. Ruby’s parser is no help in detecting regressions – it’ll notice invalid syntax, and that’s about it. A good test suite helps, but it’s never complete enou
Opens in a new windowOpens an external siteOpens an external site in a new window Hey, I’m Jay and I recently finished my first internship at Shopify as a Backend Developer Intern on the App Store Ads team. Out of all my contributions to the ad platform, I wanted to talk about one that has takeaways for any Ruby developer. Here are four reasons for why we adopted Sorbet for static type checking in
GitHub - chanzuckerberg/sorbet-rails: A set of tools to make the Sorbet typechecker work with Ruby on Rails seamlessly.
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
Railsの型チェッカーツールSorbetを試験導入しました。 - M3Career Techblog
こんにちは、エムスリーキャリアでエンジニアをしているakitoshigaです。 前回書いた『Ruby on Railsのモジュラーモノリス化 ~PackwerkとPacksRailsの導入~ 』に関連する施策のひとつとして、静的型解析のSorbetとTapiocaを試験導入した話をご紹介します。 SorbetとTapiocaについて Sorbetとは、Stripeが開発したRubyの静的（漸進的）型チェッカーです。 sorbet.org SorbetはRBIファイルとRubyファイルへの「sigil(s)」の記載によって機能するのですが、そのRBIファイルの作成をサポートするのがTapiocaです。 github.com ちなみにTapiocaはShopify製になります。 なぜ導入したのか 弊社で保有するプロダクトの1つであるM3Career Primeではモジュラーモノリス化に取り組ん
As an experiment to see how static typing could help improve our team’s Ruby experience, we introduced Sorbet into a greenfield codebase with a team of 4 developers. Our theory was that adding static type checking through Sorbet could help us catch bugs before they go into production, make refactoring easier, and improve the design of our code. The short answer is that yes, it did all of that! Rea
After writing Java for six years at my previous job, onboarding to Flexport’s large Rails monolith was a daunting task. Flexport’s domain — international logistics — is complex. Our operations span the globe and diverse business units from finance and customs to trucking and ocean freight. Even with a perfect codebase with zero incidental complexity the amount of inherent complexity would still be
GitHub - AaronC81/sord: Convert YARD docs to Sorbet RBI and Ruby 3/Steep RBS files
Sord is a Sorbet and YARD crossover. It can automatically generate RBI and RBS type signature files by looking at the types specified in YARD documentation comments. If your project is already YARD documented, then this can generate most of the type signatures you need! Sord is the perfect way to jump-start the adoption of types in your project, whether you plan to use Sorbet's RBI format or Ruby
Sorbetを使った静的型付けRuby - Qiita
Scala, dartなどの静的型付けをやってきて、久しぶりにRubyを触ってみると動的型付けが辛い。 Ruby3からは静的型付けが公式で入るらしいけど、それまではSorbetで凌ぐのが良さげ。
はじめにこんにちは！ フィフス・フロアの開発チームリーダーのnotozekiです。 フィフス・フロアでは、Rubyを長年活用しています。 たとえば弊社プロダクトのうちのこまとめやぷちのこメーカーはいずれもバックエンドはRuby（Rails）で実装されていますし、そのほかの開発実績もRubyを利用したものが数多くあります。 ところで、このところRubyの周りでは「型」の話題がホットですね。 現在開発が進められているRuby3では静的型チェッカーが導入される予定ですし、今年の6月にはRubyの型チェッカーSorbetがオープンソース化されました。 フィフス・フロアにはRubyを活用するプロダクトが多いことと、型は開発（特にチーム開発）を円滑に進めるのに役立つ機能なので、この話題にはとても注目しています。 この記事では、簡単なRailsアプリケーションにSorbetを導入して、「Rubyに型があ
Adopting Sorbet at Scale
Opens in a new windowOpens an external siteOpens an external site in a new window On November 25, 2020 we held ShipIt! Presents: The State of Ruby Static Typing at Shopify. The video of the event is now available. Shopify changes a lot. We merge around 400 commits to the main branch daily and deploy a new version or our monolith 40 times a day. Shopify is also big: 37,000 Ruby files, 622,000 metho
Tapioca is the recommended way to generate RBIs for Sorbet · Sorbet
You’ll notice that most srb subcommands have a nearly equivalent (if not exactly equivalent) command in tapioca, which brings us to the next question. What’s different between srb rbi and tapioca? From one standpoint, they’re quite similar: they both use various heuristics to generate RBI files before srb tc runs on the project. Specifically, they both rely on Sorbet to typecheck the project itsel
[Rails][Sorbet] 関連gemについて
gem 'sorbet-rails' # Rails周りの動的に生成されるメソッドの型を生成できる+諸々Railsで扱う際の便利機能付き gem 'sorbet-coerce' # 諸々のcastが便利(sorbet-railsが内部的に利用。organizationもsorbet-railsと同じ。) group :development do gem 'tapioca' # 個人的にはsrb rbi gemsの代替として使用。Railsじゃない部分ならsorbetとこれだけで十分な気がしている gem 'rubocop-sorbet', require: false end Rails関連の型生成はすべてsorbet-rails使っています（今のところbin/tapioca dslは使わない方向でいっています）。ただ、tapiocaのがShopify下リポジトリで相対的に活動も活発そう
![[Rails][Sorbet] 関連gemについて](https://cdn-ak-scissors.b.st-hatena.com/image/square/dbec4f7fa7fe0e1e72cedfd458d4a180a6b07bc7/height=288;version=1;width=512/https%3A%2F%2Fwww.gravatar.com%2Favatar%2F6dadd7d838e5851d1dc3589a13290092%3Fs%3D640){kind=avatar}
By 2017, Stripe had grown to the point where hundreds of engineers had written millions of lines of code. Most of that code was—and still is—written in Ruby, which is famous for helping engineers iterate quickly (if somewhat notorious for encouraging inscrutable code). Unfortunately we were starting to see Ruby come apart at the seams: new engineers found it hard to learn the codebase, and existin
Photo by Ross Sokolovski on UnsplashFor over five years, in a professional capacity, I’ve worked mostly on projects built using Ruby. Most of the systems I worked on used Ruby on Rails and varied in size from microservice to monolith. For several of those years, I’d repeatedly get frustrated with Ruby’s dynamic nature, especially in the decade-old monolith. I’d end up debugging a problem, trying t
Ateam cyma Advent Calendar 2019、20日目です！いよいよ終盤ですね！ 本日は 株式会社エイチーム のねぼすけエンジニア @NamedPython がお送りします！ さて、タイトルで「お？Rubyに型？」と思ったあなた！そう、ついにRubyにも型の時代がやってこようとしているのです！ 今日は、RubyKaigi2019にてStripe社から発表があったオープンソースのRuby向け型チェッカーであるSorbet🍨をふんわり紹介します！ どういう経緯・思想で作られたかは、Stripe社のプレゼン: State of Sorbet: A Type Checker for Ruby を見るととても分かりやすいです。ぜんぶ英語ですが聞き取りやすく、自動生成字幕の精度も高いので字幕つけてみるのがおすすめです。 読み方 そるべ って読みます。 カタカナで書くところの「シャー
Rubyの静的型付けについて (RBS, TypeProf, Steep, Sorbet) | ShareWis Blog（シェアウィズ ブログ）
こんにちは。 ShareWisのソフトウェアエンジニアのルーカスです。 今回は私たちのサービスで利用しているRubyについてお話をします。 ここ数年、動的型付けされたプログラミング言語の中で静的型付けを採用する傾向が強まっています。 それは Rubyのエコシステムでも同じです。 この記事では両者を比較したり、静的型付けや動的型付けの利点と欠点を挙げたりはしません。Rubyでの静的型付けをどうやって使うかを紹介したいと思います。 Rubyの型について検索していると、おそらく以下のような名前を目にするでしょう。 RBS, Sorbet, Steep, Typeprof, などなど。 これらは何でしょうか？また、どのような場合に使用するのでしょうか？ それでは解説していきます。 RBS (Ruby Signature)Ruby 3のリリースとともにRubyのコードに型定義情報を提供するRBSとい
GitHub - Shopify/rbs_parser: Ruby RBS parsing and translation to Sorbet RBI
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
Crunchy Bridge's Ruby Backend: Sorbet, Tapioca,... | Crunchy Data Blog
When we started building Crunchy Bridge two years ago, we chose Ruby as the language to write our database state machine and control plane API. Ruby may not have been the most popular language choice in 2022, but we picked it anyway. A major reason is that everyone on the team already knew it well and liked it. Terse and elegant syntax is perfect for expressing our database state machine logic. An
Compiling Ruby to Native Code with Sorbet and LLVM Jake Zimmerman (@jez) Trevor Elliott (@elliottt) November 10, 2021 Agenda Why does Stripe care about performance? Why build a compiler for Ruby? How does it work? How are we adopting it? Agenda Why does Stripe care about performance? Why build a compiler for Ruby? How does it work? How are we adopting it? 📈 Stripe is an API for building a busines
freee Tech Night「大規模Railsアプリケーションの開発 〜Sorbetを添えて〜」 (2023/06/09 19:00〜)
お知らせ connpassではさらなる価値のあるデータを提供するため、2024年5月23日(木)を以ちましてイベントサーチAPIの無料での提供の廃止を決定いたしました。 2024年5月23日(木)以降より開始予定の「connpass 有料API」の料金プランにつきましてはこちらをご覧ください。 お知らせ connpassをご利用いただく全ユーザーにおいて健全で円滑なイベントの開催や参加いただけるよう、イベント参加者向け・イベント管理者向けのガイドラインページを公開しました。内容をご理解の上、イベント内での違反行為に対応する参考としていただきますようお願いいたします。 6月 9 freee Tech Night「大規模Railsアプリケーションの開発 〜Sorbetを添えて〜」 freeeの大規模アプリケーションについに静的型付けが導入された！？導入までの物語と導入方法について
こんにちは。 PharmaX でエンジニアをしている諸岡（@hakoten）です。 この記事の概要 この記事では、Rubyの型チェックシステムである、Sorbetとtapiocaについて、基本的な知識を紹介しています。 PharmaXのバックエンドではRuby on Railsを使用しており、型チェックツールとしてStripe社が主導するSorbetを採用しています。また、Sorbetの型を生成するために、Shopify社が開発したtapiocaも一緒に利用しています。 私はRailsの経験はありますが、型チェックを取り入れたプロジェクトへの参加経験はあまりありませんでした。しかし最近、Sorbetの運用タスクに携わる機会があり、Sorbetとtapiocaの基本を調べる機会がありましたので、その内容を記事にまとめました。 本記事では、Sorbetの具体的な導入方法や型の定義の仕方には触れ
SorbetはRubyのシンタックスで書かれているため、型アノテーションの情報を実行時にも保持できます。 (Steepはコメントアウトで型アノテーションを記述するため、実行時には型の情報が捨てられてしまっているようです) これを用いて、実行時に型アノテーションの検査ができるというので、手元で試してみました。 Sorbet Runtimeについて Sorbetは部分的に型チェックを有効化、無効化することが可能です。そのため、型アノテーションを記述しても異なる型の値が渡される可能性があります。 Sorbet Runtimeは実行時に型情報を用いて、アノテーションをチェックすることができます。 これにより、型アノテーションの誤りに気づくことができます。 試してみる まずは型チェックを無効化してプログラムを実行してみます。
週刊Railsウォッチ: SorbetでRailsアプリの型シグネチャを書く、activerecord-cte gemとanycable-client gem（20210803前編）｜TechRacho by BPS株式会社
こんにちは、hachi8833です。RubyKaigi Takeout 2021のチケット販売が開始されました。 RubyKaigi Takeout 2021 tickets are available now! Speakers and Ruby committers are invited to the event. Please check your mailbox if you are a speaker or/and a Ruby committer. 🍔 https://t.co/BJ3aTFj0iE — Akira Matsuda (@a_matsuda) July 29, 2021 週刊Railsウォッチについて 各記事冒頭には🔗でパーマリンクを置いてあります: 社内やTwitterでの議論などにどうぞ 「つっつきボイス」はRailsウォッチ公開前ドラフトを（鍋のように
Overview · Sorbet
Type checking with Sorbet is composed of two key components: srb This is the command-line interface to Sorbet. It includes the core type checker, which analyzes a project statically (before the code runs) to report potential mistakes in the code. It also contains utilities to set up a project to work with Sorbet for the first time. sorbet-runtime This is the gem that enables adding type annotation
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Rubyの型チェッカーのSorbetを導入しました - freee Developers Hub
Sorbetについて - soutaroブログ
Rubyの型解析ライブラリSorbet事始め - Qiita
Rubyの型チェッカー「Sorbet」を導入した話 - Qiita
Ruby向け型チェッカSorbetのVisual Studio Code拡張機能がオープンソースでリリース
Types in Ruby 3, RBS, and Sorbet · Sorbet
Open-sourcing the Sorbet VS Code Extension · Sorbet
Why the Sorbet typechecker is fast - Made of Bugs
Sorbet + 100% cov makes Ruby refactoring possible
Writing Better, Type-safe Code with Sorbet
Static Typing in Ruby with a Side of Sorbet
Adding Sorbet to a Rails Monolith
Sorbetで「型のあるRuby」の開発体験を試そう
Sorbet: Stripe’s type checker for Ruby
Why I Stopped Using Sorbet in All My Ruby Projects
Rubyのお型付け！Sorbetを試してみた - Qiita
Compiling Ruby to Native Code with Sorbet and LLVM
Rubyの型チェック入門 - Sorbetとtapiocaの基本知識
Sorbetのruntimeチェックを試してみた - Qiita