scip-ruby - A Ruby indexer built with Sorbet

Type Checking

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

Q&A with Matz

Yukihiro "Matz" Matsumoto

RubyConf 2016

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

Keynote: Ruby 3 Typing

Yukihiro "Matz" Matsumoto

RubyKaigi 2016

talk by John Cinnamond: Softly, Softly Typing

Softly, Softly Typing

John Cinnamond

RubyConf 2015