Automated Type Contracts Generation for Ruby

Type Checking

talk by Soutaro Matsumoto: Embedding it into Ruby Code

Embedding it into Ruby Code

Soutaro Matsumoto

RubyKaigi 2024

talk by Yusuke Endoh: Good First Issues of TypeProf

Good First Issues of TypeProf

Yusuke Endoh

RubyKaigi 2024

talk by Erwin Kroon: Introducing Sorbet Into Your Ruby Codebase

Introducing Sorbet Into Your Ruby Codebase

Erwin Kroon

wroc_love.rb 2024

talk by Shunsuke Mori: Let's use LLMs from Ruby 〜 Refine RBS types using LLM 〜

Let's use LLMs from Ruby 〜 Refine RBS types using LLM 〜

Shunsuke Mori

RubyKaigi 2024

talk by Emily Samp: What's your type? Generating type signatures with Sorbet and Tapioca

What's your type? Generating type signatures with Sorbet and Tapioca

Emily Samp

Blue Ridge Ruby 2023

talk by Josua Schmid: Lightning talk: Conventionally-typed Ruby

Lightning talk: Conventionally-typed Ruby

Josua Schmid

Helvetic Ruby 2023

talk by Masataka Kuwabara: Let's write RBS!

Let's write RBS!

Masataka Kuwabara

RubyKaigi 2023

talk by Emily Samp: Generating RBIs for dynamic mixins with Sorbet and Tapioca

Generating RBIs for dynamic mixins with Sorbet and Tapioca

Emily Samp

RubyKaigi 2023

talk by Tomoya Ishida: Power up your REPL life with types

Power up your REPL life with types

Tomoya Ishida

RubyKaigi 2023

talk by Yusuke Endoh: Revisiting TypeProf - IDE support as a primary feature

Revisiting TypeProf - IDE support as a primary feature

Yusuke Endoh

RubyKaigi 2023

talk by Alexandre Terrasa: Gradual typing for Ruby: comparing RBS and RBI/Sorbet

Gradual typing for Ruby: comparing RBS and RBI/Sorbet

Alexandre Terrasa

RubyKaigi 2023

talk by Soutaro Matsumoto: Keynote: Parsing RBS

Keynote: Parsing RBS

Soutaro Matsumoto

RubyKaigi 2023