RBS

こんにちは。サーバーサイドエンジニアの三村（@t_mimura）です。 主に保険薬局と患者さまを繋ぐ「かかりつけ薬局」化支援アプリ kakariのサーバーサイド開発（Ruby on Rails）を担当しています。 突然ですが！ この度kakariプロジェクトは「型導入」をしました！ kakariのRailsリポジトリに型導入PRがマージされた様子 皆さんのプロジェクトは「型導入」していますか？ 「型導入」しているRailsプロジェクトはまだ少ないのではないでしょうか なぜ型導入しないのか 型を導入すると何かしらが便利になることは分かっているのに何故やらないのでしょうか（煽り気味） 「型の恩恵」…

こんにちは。サーバーサイドエンジニアの山田です。 Rubyに型システムが入ってからしらばく経ちましたが、弊社のRailsプロジェクトの一部でもRBSを導入しました。 そのことについて昨年行われたKaigi on Rails 2022にて「RBSとSteepで始める型のあるRails開発とその運用」というタイトルで発表しました。 この記事では発表の内容についてあらためて整理した内容やその後の状況について紹介します。 記事の目的 RBSを導入した背景 対象となるRailsアプリケーション どうやって進めたか RBSの分類 ディレクトリ構成 自作クラス・モジュールなどのRBS GemのRBS(RBS…

こんにちは、22卒の新卒エンジニアとして4月から STORES にjoinしている id:m11o です。 さて、 STORES Advent Calendar 2022 の1日目です。本記事では9月上旬に開催されたRubyKaigiにオフラインで参加し、様々な体験と大きな学びがあったので、その一部を自分の感想を交えながら共有します。 RubyKaigiには STORES からはオフライン10名、オンライン6名が参加しました。新卒の我々にも無条件に参加させていただけて、大変貴重な体験でした。 オレオレRubyKaigi 2022の3大トピック 今回RubyKaigiに参加自体が初めての参加でし…

今までのあらすじとして、ここまでで、Rubyでパーサを書き、めでたくRBSで型を付けました。 udzura.hatenablog.jp udzura.hatenablog.jp github.com 本エントリでは簡単にふりかえってみます。 大前提として、個人の感想で、皆様の今後の型ライフにほんのちょっと参考になればいいなというのはありますが、個人の日記の話です。 また、僕が誤解している内容もたくさんあると思うのでその際はご教示願います。 ふりかえりと感想

aikyoです。 はじめに Ruby3.0で、型定義を書けるRBSが導入されました。 私は以前にRubyのFileクラスの型定義を書いたので、Cで書かれたRubyの組み込みライブラリの型定義を書くのもそこまで大変ではないよということについて書いていきます。 現在のRBSの状況 ただ、現在のRBSでは、まだRuby本体に組み込まれているクラスについても型定義が書かれていないものがあります。 なので、型検査をしたいと思ってもRBSに型定義がなければ自分で書くことになります。 Fileクラスの型定義を書いたとき 型定義を書こうと思ったはいいものの。何を参考に型を書くといいのかよくわかりませんでした。…

Ruby3.0 からは、型定義を処理するための rbs gem が同梱されていて、これは外部の *.rbs ファイルに記述した内容に従って、Rubyコードの型チェックを可能にしてくれる。 github.com 最近、この RBS の型定義を TypeScript の型定義に変換できないかな〜と思い、 rbs2ts という gem を実験的に作ってる。 結構荒削りなので、細々した部分での挙動は正直怪しいが、ある程度それっぽく動くようになったので公開してある。 rubygems.org github.com Gemのいまのところの挙動 いまのところ次のような変換ができる Alias RBS typ…

RHEL派生ディストリビューションに含まれるRubyに関するパッケージを確認する。 目的 インターネット接続できない環境にて、Rubyをできる限り快適に使う。 前提 RHEL派生ディストリビューションのメディアが転がっている インターネットには接続できない Perl、Pythonもいいが、Rubyを使いたい RHEL派生ディストリビューションが転がっている。無ければ以下からダウンロードする。 AlmaLinux OS - Forever-Free Enterprise-Grade Operating System Download Rocky | Rocky Linux RHEL派生ディストリ…

Steepのmanual/annotations.mdを読みながら、実際にコードを書いて覚えたことをブログにまとめる。 変数 変数の型を String? から String にするときに便利そう。 # @type var value: String value = %w[a b c].sample puts('Hi, ' + value) アノテーションがない場合、 sample: () -> String? なので型検査エラーになる。 app/user.rb:2:14: [error] Cannot pass a value of type `(::String | nil)` as an …

前回までのあらすじ RBSがテストになるとおもしろいんじゃないか日記1 - スペクトラム RBSがテストになるとおもしろいんじゃないか日記2 - スペクトラム RBSがテストになるとおもしろいんじゃないか日記3 - スペクトラム RBSがテストになるとおもしろいんじゃないか日記4 - スペクトラム RBSがテストになるとおもしろいんじゃないか日記5 - スペクトラム 追加コードなしにこだわる理由 RaaPでは基本的な姿勢として、テストコードを書かなくても動くことを目指しています。(もちろんRBSは書く) その理由を言語化してみます。 そもそもここで言うコードとは プロパティベーステストはプロパ…

久しく書いていなかった振り返りを書いてみる。 取り組んだこと ワークショップ・勉強会関連 Rails Girls Tokyo 16thのオーガナイザーをSTORESのえんじぇるさんとやった。 去年、オーガナイザーをやるか結構迷ったけれど、結果的にやってよかった。 詳しくは以下にまとめています。 maimux2x.hatenablog.com しんめ.rbというプログラミング実務経験が2年くらいまでの人を対象にしたコミュニティをお試しで立ち上げてみた。 自分がこういう場が欲しかったというのが一番の動機ですが、4月から定期開催でやってみようと思っています。 maimux2x.hatenablog.…

前回までのあらすじ RBSがテストになるとおもしろいんじゃないか日記1 - スペクトラム RBSがテストになるとおもしろいんじゃないか日記2 - スペクトラム RBSがテストになるとおもしろいんじゃないか日記3 - スペクトラム RBSがテストになるとおもしろいんじゃないか日記4 - スペクトラム 続シンボリックコール シンボリックコールは、前回紹介したようにメソッドの呼び出しを遅延評価するデータ構造である。 ザックリとしか紹介できていなかったので、ここで深掘りしておく。 シンボリックコールは次のようなシンプルなデータ構造だ。 [:call, Integer, :sqrt, [4], {}, …

YH Research株式会社（本社：東京都中央区）は調査レポート「グローバル鉄道回生ブレーキエネルギーフィードバックシステムのトップ会社の市場シェアおよびランキング 2024」を3月28日に発行しました。本レポートでは、鉄道回生ブレーキエネルギーフィードバックシステム市場の製品定義、分類、用途、企業、産業チェーン構造に関する情報を提供します。また、鉄道回生ブレーキエネルギーフィードバックシステム市場の開発方針と計画、製造プロセスとコスト構造についても考察します。主要生産地域、主要消費地域、主要メーカーの生産と消費とともに、鉄道回生ブレーキエネルギーフィードバックシステム市場の現在と将来の市場…

DALL-Eより: Imagine a scene where the abstract concepts of Ruby programming and property-based testing blend harmoniously. Picture a large, glowing ruby crystal まいどお馴染み、作ってみたシリーズです。 今回は、RaaP(ラープ)というツールを作りました。RBS as a PropertyでRaaPです。 github.com RaaPはテスティングツールの一種で、RBSをそのままテストコードにみたてて実行してくれるツールです。 次のような…

2024年3月にGKEのReleaseNoteに流れてきた情報から、新機能と変更内容、影響のありそうな不具合情報のみをまとめて紹介します。 新機能 3/19 Ciliumを使用したクラスタ全体のネットワークポリシーがGAになりました 全てのGKEエディションで使用でき、1.28.6-gke.1095000、1.29.1-gke.1016000以降でGAになっています。 3/11 GKE 1.29.0-gke.1384000以降で作成されたプライベートクラスタはNodeがコントロールプレーンと通信するときにPrivate Service Connect (PSC)を使用するようになります 以前の…

前回までのあらすじ RBSがテストになるとおもしろいんじゃないか日記1 - スペクトラム RBSがテストになるとおもしろいんじゃないか日記2 - スペクトラム RBSがテストになるとおもしろいんじゃないか日記3 - スペクトラム 間が開いた 結構間が開いてしまったがまだあきらめずに開発している。 サイドオーダーは全てのパレットをクリアして虹バッチとりました。 サイズ プロパティベーステストの重要な概念にサイズがある。 サイズは簡単にいうと乱数に対する係数である。 Integerのサイズ0は0、Arrayのサイズ0は[]となる。 経験的にバグは0や[]の場合に起きることが多いことから、サイズは0…

RBSのdocs/syntax.mdに記載されている untyped, void, top, bot の違いを理解したけど、また忘れそうなのでブログにまとめておく。 untyped どんな型でも代入できて、その変数を型検査の対象にしない場合に使う。 # ruby class User def greet(user) user.something end end # rbs class User def greet: (untyped) -> void end something メソッドの定義は存在しないのに、Steepの型検査でエラーは出ない。 No type error detected.…

今日は主に Integer.sqrt の大きな数での最適化などがありました。 [dc06375c4f] David Rodriguez 2024-03-13 15:29:18 UTC bundler の設定ファイルの行頭の # によるコメントアウトに対応するようにしています。 [e6487a9263] OKURA Masafumi 2024-03-18 02:37:39 UTC irb の日本語のヘルプメッセージに新しいオプションの説明を追加しています。 https://github.com/ruby/irb/pull/903 [dcfbe36cb5] Soutaro Matsumoto 20…