rbs-inline

タイミーでバックエンドのテックリードをしている新谷（@euglena1215）です。 タイミーのバックエンドはモノリスの Rails を中心に構成されています。そのモノリスな Rails に書かれていた YARD を rbs-inline に一通り移行した事例を紹介します。 前編では、rbs-inline の紹介と rbs-inline への移行理由について触れ、後編では実際の移行の流れや詰まったポイント、今後の展望について触れる予定です。 rbs-inline とは RBS 活用推進の背景 移行理由 1. YARD(sord) よりも rbs-inline の方が表現力が高い 2. YARD…

RubyKaigi 2024 follow upに参加した。楽しかったー。当日までスライドが0枚だったので移動中や開始後も作ってて序盤は作業しながら流し聞きしかできず。でもゆるっとした雰囲気で「これどうしようかなーと思っている」みたいな議論のフックになりそうな話題がたくさんなのがRubyKaigi followupならではで他ではなかなか聞けない感じなのがこの会の楽しいところだなぁと思った。 金子さんの「Ruby Parser progress report 2024」は先週聞いたやつが約15分に圧縮されてて、でも会場に来ていそうなつわものに届きそうなところをピックアップして届けようとしている…

自分はデュアルブートだけど Linux 入れるときにセキュアブートを無効にしてたので何の問題もなかった / “WindowsのアップデートによりLinuxとのデュアルブートが不可能になったとの報告” https://t.co/jfv8YoIdxX— とみたまさひろ🍣🍺 (@tmtms) 2024年8月23日 Ruby の型定義は .rb とは別ファイルに書かないといけなかったのでまったくやる気が起きなかったんだけど、コード中に書けるのなら書いてもいいかな…って気になってきた。今までも YARD で書いてたし。 / “前編：YARD から rbs-inline に移行しました - Timee P…

Let's use LLMs from Ruby 〜 Refine RBS types using LLM 〜 こんにちは、クラウドハウス労務でバックエンドエンジニアをしているtitti-008です。 本記事では、1日目の@kokuyouwindさんによるセッション、Let's use LLMs from Ruby 〜 Refine RBS types using LLM 〜について紹介させていただきます。 セッション概要 @kokuyouwindさんは、LLM(大規模言語モデル)を使ってRBS(型構造)を推測するRBS Gooseというプロジェクトを作成しました。まだ実用段階には至っていない…

Rubyをはじめとする「動的型付け」のプログラミング言語は、ソースコード中に型に関する記述が陽に出てこないことが特徴で、プログラムの実行前に（静的に）型検査をすることはありません。しかし、このようなプログラミング言語においても、大規模な開発における品質の向上や開発体験の改善、実行の高速化のために、静的な解析を活用しようという試みは多くなされてきました。この記事では、動的型付けの言語のための型検査の歴史を簡単に振り返って、現在私が開発しているRuby向けの型検査器Steepとその基盤となっている型記述言語RBSについて説明し、今後の展望を議論します。 著者：松本宗太郎さん（@soutaro） R…

Windows 環境で Ruby 3.3 の補完が強化された irb や rbs-inline などの最新の機能を試したいたいときは RubyInstaller を使わずに WSL 経由で入れた方が挙動が安定していておすすめです。 また Ubuntu で snap を使って Ruby をインストールすると標準ライブラリのドキュメントがインストールされず irb の補完時にドキュメントが表示されないため、 rbenv 経由でインストールしています。 動作確認環境は Windows 11 23H2 です。 WSL のインストール(新規) > wsl --install https://learn.…

はじめに みなさん、こんにちは。 はたらく未来図構想統括部 JobQ部でエンジニアをしている竹山、川村、飯嶋です。 このたびはtechtektブログへの初投稿となります。これまでの投稿者の方々が築いてこられた素晴らしい基盤に感謝しつつ、我々も貢献できればと考えています。 我々が開発しているキャリアや転職に特化した匿名相談サービス「JobQ Town」は、プログラミング言語RubyとフレームワークRuby on Railsを採用しています。 Rubyの柔軟性とその直感的な構文により、効率良くスピーディに開発することができています。 2024年5月15日から17日にかけて、沖縄・那覇で開催されたR…

はじめに ストックマーク株式会社のエンジニア @nyancat3 です。 先日RubyKaigi 2024に一般参加しました。印象に残った8セッションの概要と感想を書きます。 Day 1 Writing Weird Code The grand strategy of Ruby Parser Strings! Interpolation, Optimisation & Bugs Let's use LLMs from Ruby 〜 Refine RBS types using LLM 〜 Day 2 Finding Memory Leaks in the Ruby Ecosystem Brea…

ISUCON で型がパチパチっとハマった開発ができるとかなり開発体験変わってくるのでは？と思い、 ISUCON の過去問に型をつけていくのをやってみています。 モチベーションに対してもう少し詳しい記事はこちら euglena1215.hatenablog.jp まずは、初期実装の状態から挙動を変えずに型だけをつけてみることに取り組みます。 また、アプリケーションに対応する型は rbs ファイルは直接触らずに rbs-inline のみを使って生成することにしました。おそらく ISUCON 本番でも別ファイルをいじっている余裕はないと思うためです。 ISUCON13 で rbs-inline を…

RubyKaigi 2024 お疲れさまでした。楽しかったですね。 みなさん RubyKaigi で持ち帰ったものは色々あるんじゃないかと思いますが、自分が持ち帰ったものは Ruby の静的型チェック × ISUCON でした、という話を書こうと思います。ポエムです。 ISUCON の説明はこの記事では割愛します。ISUCON のサイトに書いてある説明の引用だけ貼っておきます。 ISUCONとはLINEヤフー株式会社が運営窓口となって開催している、お題となるWebサービスを決められたレギュレーションの中で限界まで高速化を図るチューニングバトルです https://isucon.net/ 突然で…

RubyKaigi 2024 のWriting Weird Code @tompng や Exploring Reline @ima1zumi で紹介されている新しい irb の補完機能がよさそうなので手元でもインストールしてみた。 Ruby 3.3 のインストール 3.2 でも gem update irb とかすれば動くらしいけどせっかくなので Ruby 3.3 を入れる。 https://github.com/oneclick/rubyinstaller2/releases/download/RubyInstaller-3.3.1-1/rubyinstaller-devkit-3.3.1…