Generating RBIs for dynamic mixins with Sorbet and Tapioca

Type Checking

talk by Soutaro Matsumoto: The challenges behind Ruby type checking

The challenges behind Ruby type checking

Soutaro Matsumoto

RubyKaigi 2019

talk by Yusuke Endoh: A Type-level Ruby Interpreter for Testing and Understanding

A Type-level Ruby Interpreter for Testing and Understanding

Yusuke Endoh

RubyKaigi 2019

talk by Luis Lavena: Crystal: How Using a Compiled Language Made Me Write Better Ruby

Crystal: How Using a Compiled Language Made Me Write Better Ruby

Luis Lavena

Paris.rb Conf 2018

talk by Soutaro Matsumoto: Ruby Programming with Type Checking

Ruby Programming with Type Checking

Soutaro Matsumoto

RubyKaigi 2018

talk by Yusuke Endoh: Type Profiler: An analysis to guess type signatures

Type Profiler: An analysis to guess type signatures

Yusuke Endoh

RubyKaigi 2018

talk by Dmitry Petrashko, Paul Tarjan, Nelson Elhage: A practical type system for Ruby at Stripe

A practical type system for Ruby at Stripe

Dmitry Petrashko, Paul Tarjan, Nelson Elhage

RubyKaigi 2018

talk by Ben Orenstein: Trust, But Verify (Programmatically)

Trust, But Verify (Programmatically)

Ben Orenstein

Rocky Mountain Ruby 2017

talk by Soutaro Matsumoto: Type Checking Ruby Programs with Annotations

Type Checking Ruby Programs with Annotations

Soutaro Matsumoto

RubyKaigi 2017

talk by Valentin Fondaratov: Automated Type Contracts Generation for Ruby

Automated Type Contracts Generation for Ruby

Valentin Fondaratov

RubyKaigi 2017

talk by Yukihiro "Matz" Matsumoto: Keynote: Ruby 3 Typing

Keynote: Ruby 3 Typing

Yukihiro "Matz" Matsumoto

RubyKaigi 2016