Ruby の静的解析に関する情報

ruby_static_type_check.md

• Slide
  • 2020-04-17 型プロファイラ：抽象解釈に基づくRuby 3の静的解析
  • 2020-04-17 Ruby3 is a typed language (soutaro)
  • 2020-04-17 Ruby 3の型推論やってます (mame)
  • 2019-11-20 A Static Type Analyzer of Untyped Ruby Code for Ruby 3 (mame)
  • 2019-11-03 型なし言語のための型 (soutaro)
  • 2019-08-31 An introduction to typed Ruby programming (soutaro)
• Talk
  • 2019-04-20 The challenges behind Ruby type checking (soutaro, RubyKaigi 2019)
  • 2019-04-18 The Year of Concurrency (Matz, RubyKaigi 2019)
• Blog, Paper
  • ruby-type-profiler/ppl2019.pdf at master · mame/ruby-type-profiler
  • rbs cli - pockestrap
    • rbs コマンドのサブコマンドについてまとまっている
  • https://koic.hatenablog.com/entry/ruby-2-7-release-party
    • sorbet-typed から ruby/signature の方に型定義を寄せていく方針、という話が含まれている
• GitHub repositories
  • https://github.com/mame/ruby-type-profiler
  • https://github.com/ruby/rbs
  • https://github.com/pocke/rbs_rails
  • https://github.com/soutaro/steep