Ruby3.1 静的解析の導入で開発体験を向上させる (RBS, TypeProf)｜Offers Tech Blog

静的解析例

どのような体験が待っているのか、参考に以下のコードを例に紹介します。

module Test
  def cache_key_of_xxxxxxx
    "xxxxxxxxxxxxxxxxx"
  end

  def build_cache_xxxxxxxxxxx
    # String型データ　未定義メソッド呼び出し
    self.cache_key_of_xxxxxxx.floor(1)

    return true
  end

  def hoge
    count_data = {}

    # typo
    if couta_data.size == 0
      return 1
    end

    # (中略)

    100.times do |i|
      # Hash型定義を忘れて、Array代入
      count_data ||= []

      if i % 2 == 0
        count_data << 1
      else
        count_data << 2
      end
    end

    count_data
  end

  def flow_sensitive_xxxx(x)
    if x.is_a?(Integer)
      10
    else
      "10"
    end
  end

  def generics_duck_type_container
    10.times.map do |i|
      if i % 2 == 0
        "aaaaa"
      else
        111111
      end
    end
  end
end

型推論 - 分岐

分岐があるコードでも両方が並列に実行され Integer | String と正しく?解析できています。
但し現在では、現時点では is_a?、respond_to? 、case で型指定されたパターン記述のみに対応するなど限定されているようです。

型推論 - コンテナ型

内包データが分岐で変わる(無理のあるコード)記述ですが、Array[Integer|String]と解析されています。

型検査 - 定義エラー

String 型と推論された変数へ対して未定義メソッドを呼び出したことでの検査エラーが発生しています。
テスト実行時点で察知されるものが、こうして TypeProf インタプリタ上で実行されることにより事前察知できるのは時間削減になって良きです。

型検査 - Typo

couta_data と typo っているために、未定義だよと検査エラーが発生しています。
高確率で typo する単語はどうしてもあるので、これも事前察知できて良いです。

型検査 - 代入ミス

Hash 型定義した変数を Array 型として誤って扱っていたコードで検査エラーが発生しています。
さっと導入しただけでも、上記のような例を筆頭に!! 型による防御的プログラミングの世界がいまここに!!

現段階での導入可否

と、まるでうまくいったかのように書いてますが、実際には弊社では導入できておりません。

素の Ruby で書かれた PORO(Plain Old Ruby Object)なクラスでは比較的うまく働くものの、その他多くのクラスでは型定義情報(RBS)が乏しいため全体でエラー発生しており解消のための整備と手直しにそれなりの時間が必要で道半ばです。

(本文見せられないけど赤すぎてVirtualBoyに熱中した少年時代を思い出す)

その後の維持に関しても、スキーマ駆動のように型定義決めた上でチーム開発するなど一定のルールの上で型を保ち続ける必要があります。
このルールを Ruby の柔軟さを享受しつつ運用するためには、適用するスコープを限定する必要もあるなという印象です(最初は concerns 以下 or service クラスのみとか)

ただしそのコストを払ったとしてもやはり型安全?な世界は、開発体験向上するだけでなく信頼性、安全性も高まることは確かです。

現段階でも、型情報さえうまくメンテできれば解析の速度含めて十分実用的であることは分かったので、引き続き取り組みを続けていきます。
そして弊社では、一緒にこの取組を支援してくれる方も大募集中です。

エンジニア採用強化中

株式会社 overflow ではエンジニアメンバーを大募集中です。Offers の開発や overflow に興味を持たれた方ぜひご応募ください！中の雰囲気を知っていただくため、まずは副業からのスタートも歓迎しています。