kanazara.md

kanazawa.rb meetup #100

自己紹介

---

• 名前：osyo
• Twitter : @pink_bangbi
• github : osyo-manga
• ブログ : Secret Garden(Instrumental)
• 趣味で Ruby にパッチを投げたり bugs.ruby で気になったチケットをブログにまとめたりしてる
  • 一人 bugs.ruby Advent Calendar 2020 やってます
  • 気になった bugs.ruby まとめ
• Ruby で一番好きな機能は Refinements
• 最近 AST から Ruby のコードを復元する記事や Ruby 基礎文法最速マスターって記事を書いたので気になる人は読んでみてね
  • Ruby の AST から Ruby のソースコードを復元しよう
  • 令和時代の Ruby 基礎文法最速マスター
• Ruby 3.0 Advent Calendar 2020 やってます

3行で分かる Ruby 3.0 の型チェック

• 型情報を .rbs ファイルという別ファイルで定義する
• Ruby 3.0 では標準で型チェックを行うような機能は入らない
• Ruby のコードから .rbs ファイルを自動生成するツールが入る

実際に型チェックしてみる

• Steep という外部ツールを使って型チェックできる

# Steepfile
target :app do
  check "./"
  signature "./"

  library "set", "pathname"
end

class User
  attr_reader :name, :age

  def initialize(name:, age:)
    @name = name
    @age = age
  end
end

User.new(name: "homu", age: "14")

# Classes
class User
  attr_reader name: String
  attr_reader age: Integer
  def initialize: (name: String, age: Integer) -> Integer
end

$ steep check

詳しくは以下を読んでね

• Ruby 3 の静的解析ツール TypeProf の使い方 - クックパッド開発者ブログ
• Ruby 3の静的解析機能のRBS、TypeProf、Steep、Sorbetの関係についてのノート - クックパッド開発者ブログ
• オンラインデモ