タグ検索の該当結果が少ないため、タイトル検索結果を表示しています。
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 漸進的型付けとは 漸進的型付け
リンクアンドモチベーション Advent Calendar 2023の15日目の記事です はじめに 株式会社リンクアンドモチベーションの葛葉（くずば）です。 現在新卒2年目で、モチベーションクラウドのバックエンドエンジニアとして、新規機能の開発を担当しています。 複数の言語でもサーベイの回答、結果の確認ができるようにする開発をおこなっています。 本記事では、メイン業務と並行で進めていたプロジェクト 「Ruby（Ruby on Rails）における静的型付け」 について書きたいと思います。 同じように静的型付けを導入しようとしているプロダクトは少なくないと思います。 この記事を見ることで、 記事となっています。少しでも参考になれば幸いです。 【背景】 なぜ型宣言する必要があるのか 1.動的型付け言語「Ruby」の特徴 プロダクトに使われている言語「Ruby」は動的型付け言語と言われていて、型
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
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
Writing Better, Type-safe Code with SorbetI want to talk about one contribution that has takeaways for any Ruby developer. Here are 4 reasons for why we adopted Sorbet for static type checking. 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 h
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ではモジュラーモノリス化に取り組ん
Sorbetを使った静的型付けRuby - Qiita
Scala, dartなどの静的型付けをやってきて、久しぶりにRubyを触ってみると動的型付けが辛い。 Ruby3からは静的型付けが公式で入るらしいけど、それまではSorbetで凌ぐのが良さげ。
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
はじめにこんにちは！ フィフス・フロアの開発チームリーダーのnotozekiです。 フィフス・フロアでは、Rubyを長年活用しています。 たとえば弊社プロダクトのうちのこまとめやぷちのこメーカーはいずれもバックエンドはRuby（Rails）で実装されていますし、そのほかの開発実績もRubyを利用したものが数多くあります。 ところで、このところRubyの周りでは「型」の話題がホットですね。 現在開発が進められているRuby3では静的型チェッカーが導入される予定ですし、今年の6月にはRubyの型チェッカーSorbetがオープンソース化されました。 フィフス・フロアにはRubyを活用するプロダクトが多いことと、型は開発（特にチーム開発）を円滑に進めるのに役立つ機能なので、この話題にはとても注目しています。 この記事では、簡単なRailsアプリケーションにSorbetを導入して、「Rubyに型があ
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
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
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
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Rubyの型チェッカーのSorbetを導入しました - freee Developers Hub
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
Writing Better, Type-safe Code with Sorbet - Shopify
Adding Sorbet to a Rails Monolith
Sorbetで「型のあるRuby」の開発体験を試そう
Adopting Sorbet at Scale - Shopify
Sorbetのruntimeチェックを試してみた - Qiita
Why I Stopped Using Sorbet in All My Ruby Projects
Rubyのお型付け！Sorbetを試してみた - Qiita
momo8.oa.gob.jp
news.yahoo.co.jp
koyazi.blog.jp
www.itmedia.co.jp
www.yamagatakabuo.online
www.itmedia.co.jp