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

talk by Varun Gandhi: scip-ruby - A Ruby indexer built with Sorbet

scip-ruby - A Ruby indexer built with Sorbet

Varun Gandhi

RubyConf 2022

talk by Gaurav Kumar Singh: Static typing with RBS in Ruby

Static typing with RBS in Ruby

Gaurav Kumar Singh

RubyConf 2022

talk by Vladimir Dementyev: Weaving and seaming mocks

Weaving and seaming mocks

Vladimir Dementyev

RubyConf Mini 2022

talk by Paolo "Nusco" Perrotta: Roasting the Duck - A Talk About Ruby and Types

Roasting the Duck - A Talk About Ruby and Types

Paolo "Nusco" Perrotta

RubyConf TH 2022

talk by osyo: Let's collect type info during Ruby running and automaticall

Let's collect type info during Ruby running and automaticall

osyo

RubyKaigi 2022

talk by Soutaro Matsumoto: Ruby programming with types in action

Ruby programming with types in action

Soutaro Matsumoto

RubyKaigi 2022

talk by Yukihiro "Matz" Matsumoto: Opening Keynote: MythBuster

Opening Keynote: MythBuster

Yukihiro "Matz" Matsumoto

Euruko 2022

talk by Ufuk Kayserilioglu, Alexandre Terrasa: Gradual Typing in Ruby - A Three Year Retrospective

Gradual Typing in Ruby - A Three Year Retrospective

Ufuk Kayserilioglu, Alexandre Terrasa

RubyConf 2021

talk by Jose Rosello: Sorbet at Grailed: Typing a Large Rails Codebase to Ship with Confidence

Sorbet at Grailed: Typing a Large Rails Codebase to Ship with Confidence

Jose Rosello

RubyConf 2021

talk by Yusuke Endoh: Keynote: TypeProf for IDE: Enrich Dev-Experience without Annotations

Keynote: TypeProf for IDE: Enrich Dev-Experience without Annotations

Yusuke Endoh

RubyKaigi Takeout 2021

talk by Ufuk Kayserilioglu: Demystifying DSLs for better analysis and understanding

Demystifying DSLs for better analysis and understanding

Ufuk Kayserilioglu

RubyKaigi Takeout 2021

talk by Masataka Kuwabara: The newsletter of RBS updates

The newsletter of RBS updates

Masataka Kuwabara

RubyKaigi Takeout 2021

talk by Soutaro Matsumoto: IDE development with Ruby

IDE development with Ruby

Soutaro Matsumoto

Euruko 2021

talk by Yusuke Endoh: A Plan towards Ruby 3 Types

A Plan towards Ruby 3 Types

Yusuke Endoh

Euruko 2019

talk by Yukihiro "Matz" Matsumoto: Keynote: Functional Future Ruby by Yukihiro Matsumoto

Keynote: Functional Future Ruby by Yukihiro Matsumoto

Yukihiro "Matz" Matsumoto

Euruko 2019

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 Takeout 2020

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

Reflecting on Ruby Reflection for Rendering RBIs

Ufuk Kayserilioglu

RubyKaigi Takeout 2020

talk by Shugo Maeda: Magic is organizing chaos

Magic is organizing chaos

Shugo Maeda

RubyKaigi Takeout 2020

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 Takeout 2020

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 Soutaro Matsumoto: An Introduction to Typed Ruby Programming

An Introduction to Typed Ruby Programming

Soutaro Matsumoto

Balkan Ruby 2019

talk by Jake Zimmerman, Paul Tarjan: State of Sorbet: A Type Checker for Ruby

State of Sorbet: A Type Checker for Ruby

Jake Zimmerman, Paul Tarjan

RubyKaigi 2019

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