Trust, But Verify (Programmatically)

Type Checking

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 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 Yukihiro "Matz" Matsumoto: Q&A with Matz

Q&A with Matz

Yukihiro "Matz" Matsumoto

RubyConf 2018

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 Evan Phoenix, Yukihiro "Matz" Matsumoto: Fireside Chat: Q&A with Matz

Fireside Chat: Q&A with Matz

Evan Phoenix, Yukihiro "Matz" Matsumoto

RubyConf 2017

talk by Soutaro Matsumoto: Types and Ruby Programming Language

Types and Ruby Programming Language

Soutaro Matsumoto

RubyConf 2017