Automated Type Contracts Generation for Ruby

Type Checking

talk by Soutaro Matsumoto: IDE development with Ruby

IDE development with Ruby

Soutaro Matsumoto

EuRuKo 2021

talk by Sabrina Gannon: Checking Your Types: An Overview of Ruby's Type System

Checking Your Types: An Overview of Ruby's Type System

Sabrina Gannon

rubyday 2021

talk by Soutaro Matsumoto: The State of Ruby 3 Typing

The State of Ruby 3 Typing

Soutaro Matsumoto

RubyKaigi 2020 Takeout

talk by Ufuk Kayserilioglu: Reflecting on Ruby Reflection for Rendering RBIs

Reflecting on Ruby Reflection for Rendering RBIs

Ufuk Kayserilioglu

RubyKaigi 2020 Takeout

talk by Shugo Maeda: Magic is organizing chaos

Magic is organizing chaos

Shugo Maeda

RubyKaigi 2020 Takeout

talk by Yusuke Endoh: Type Profiler: a Progress Report of a Ruby 3 Type Analyzer

Type Profiler: a Progress Report of a Ruby 3 Type Analyzer

Yusuke Endoh

RubyKaigi 2020 Takeout

talk by Hung Harry Doan: Static Type Checking in Rails with Sorbet

Static Type Checking in Rails with Sorbet

Hung Harry Doan

RailsConf 2020 CE

talk by Getty Ritter: Sorbet: Practical Gradual Type Checking For Ruby

Sorbet: Practical Gradual Type Checking For Ruby

Getty Ritter

Paris.rb Conf 2020

talk by Jake Zimmerman, Dmitry Petrashko: Sorbet: A type checker for Ruby 3 you can use today!

Sorbet: A type checker for Ruby 3 you can use today!

Jake Zimmerman, Dmitry Petrashko

RubyConf 2019

talk by Ufuk Kayserilioglu: Adopting Sorbet at Scale

Adopting Sorbet at Scale

Ufuk Kayserilioglu

RubyConf 2019

talk by Yusuke Endoh: A Static Type Analyzer of Untyped Ruby Code for Ruby 3

A Static Type Analyzer of Untyped Ruby Code for Ruby 3

Yusuke Endoh

RubyConf 2019

talk by Yusuke Endoh: A Plan towards Ruby 3 Types

A Plan towards Ruby 3 Types

Yusuke Endoh

EuRuKo 2019