タグ検索の該当結果が少ないため、タイトル検索結果を表示しています。
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 漸進的型付けとは 漸進的型付け
Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article?
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」など、さまざまなカンファレンスを企画・運営しています。
週刊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
Ruby: SorbetにRBSのインラインコメント機能が追加された（翻訳）｜TechRacho by BPS株式会社
概要 CC BY-NC-SA 4.0 International Deedに基づいて翻訳・公開いたします。 英語記事: Inline RBS comments support for Sorbet | Rails at Scale 原文公開日: 2025/04/24 原著者: Alexandre Terrasa CC BY-NC-SA 4.0 Deed | 表示 - 非営利 - 継承 4.0 国際 | Creative Commons Sorbetは、Shopifyにおけるコードの読み取りや理解、そしてメンテナンスを大きく改善してくれました。しかし率直に申し上げると、Sorbetそのものの構文は必ずしも読みやすいとは言えません。 本記事では、Sorbetに「RBS形式のインラインコメント」機能をどのようにして追加したかを解説します。Sorbetの強力な型安全性や型チェックの速度を損なわない
Sorbet + 100% cov makes Ruby refactoring possible — brandur.org
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
RubyKaigi 2025レポート：FindyのRailsプロジェクトでSorbetの型チェックを試してみた - Findy Tech Blog
こんにちは。ファインディでソフトウェアエンジニアをしているnipe0324です。 先日、愛媛県松山市で開催されていたRubyKaigi 2025 に参加してきました。 様々なセッションに参加し、他社のエンジニアと話す中で多くの刺激をうけました。特に印象深かったのは、Sansanさん、TwoGateさん、Timeeさんなどの企業がRubyの型を導入して運用していたことです。 本記事では、N番煎じですが、Findy転職のRailsプロジェクトにSorbetを入れて型を試してみました。 Rubyの型に興味を持っているけどなかなか試せていないという方の参考になれば嬉しいです。 Sorbetとは? Sorbetのメリット・デメリット Sorbetを使ったRubyのコード例 型導入のモチベーション 課題：Interactorの入出力が不明確 検証した結果 検証の実施内容 Sorbetのセットアップ A
Past, Present, and Future of Sorbet Type Syntax – Jake Zimmerman
Here’s the elephant in the room: Sorbet’s syntax is ugly. When people start complaining about Sorbet’s syntax, I have to spend a lot of time deflecting or even defending it, which is annoying: I’m right there with you, the syntax is ugly! It’s verbose. It’s foreign. It doesn’t resemble any typed language, nor does it complement Ruby’s unique style. My counter is that when it comes to language desi
Adopting Sorbet at ScalePresenting how Shopify got from no Sorbet in our monolith to almost full coverage in the span of a few months. I’ll explain the challenges we faced, the tools we built to solve them. 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 mai
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ではモジュラーモノリス化に取り組ん
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
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}
SorbetはRubyのシンタックスで書かれているため、型アノテーションの情報を実行時にも保持できます。 (Steepはコメントアウトで型アノテーションを記述するため、実行時には型の情報が捨てられてしまっているようです) これを用いて、実行時に型アノテーションの検査ができるというので、手元で試してみました。 Sorbet Runtimeについて Sorbetは部分的に型チェックを有効化、無効化することが可能です。そのため、型アノテーションを記述しても異なる型の値が渡される可能性があります。 Sorbet Runtimeは実行時に型情報を用いて、アノテーションをチェックすることができます。 これにより、型アノテーションの誤りに気づくことができます。 試してみる まずは型チェックを無効化してプログラムを実行してみます。
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
Rubyの静的型付けについて (RBS, TypeProf, Steep, Sorbet) | ShareWis Blog（シェアウィズ ブログ）
こんにちは。 ShareWisのソフトウェアエンジニアのルーカスです。 今回は私たちのサービスで利用しているRubyについてお話をします。 ここ数年、動的型付けされたプログラミング言語の中で静的型付けを採用する傾向が強まっています。 それは Rubyのエコシステムでも同じです。 この記事では両者を比較したり、静的型付けや動的型付けの利点と欠点を挙げたりはしません。Rubyでの静的型付けをどうやって使うかを紹介したいと思います。 Rubyの型について検索していると、おそらく以下のような名前を目にするでしょう。 RBS, Sorbet, Steep, Typeprof, などなど。 これらは何でしょうか？また、どのような場合に使用するのでしょうか？ それでは解説していきます。 RBS (Ruby Signature)Ruby 3のリリースとともにRubyのコードに型定義情報を提供するRBSとい
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Rubyの型チェッカーのSorbetを導入しました - freee Developers Hub
Rubyの型チェッカー「Sorbet」を導入した話 - Qiita
Ruby向け型チェッカSorbetのVisual Studio Code拡張機能がオープンソースでリリース
Open-sourcing the Sorbet VS Code Extension · Sorbet
Adopting Sorbet at Scale - Shopify
Adding Sorbet to a Rails Monolith
Sorbetのruntimeチェックを試してみた - Qiita
Why I Stopped Using Sorbet in All My Ruby Projects
syougeki-utikiri.com
hereditas.tokyo
talk.jp
tocotomo.hatenablog.com
jp.reuters.com
www.bs.s.u-tokyo.ac.jp/~seitaipl