Upgrade to Pro — share decks privately, control downloads, hide ads and more …

Type Checking with Sorbet

Avatar for Ali Ali
August 21, 2020

Type Checking with Sorbet

Sorbet is a gradual type checker made for Ruby and written in Ruby.

Links:
Sorbet and Ruby 3 => https://sorbet.org/blog/2020/07/30/ruby-3-rbs-sorbet
Source code of the Ruby playground for my talk => https://github.com/thealiilman/a-look-into-sorbet

Avatar for Ali

Ali

August 21, 2020

More Decks by Ali

Other Decks in Programming

Transcript

  1. ALI ILMAN SOFTWARE ENGINEER FROM WORKING FOR SURIA LABS [email protected]

    Twitter, Instagram => thealiilman LinkedIn => aliilman
  2. CONTENTS OF THIS TALK • WHAT IS SORBET? • HOW

    SORBET CAUGHT MY ATTENTION • RUBY 3 COMES WITH RBS, A TYPE SIGNATURE LANGUAGE. WHAT HAPPENS TO SORBET? • SHOULD YOU CONSIDER ADDING SORBET TO A RUNNING PRODUCTION APP? • DEMO
  3. WHAT IS SORBET? • GRADUAL TYPE CHECKER • ALLOWS US

    TO WRITE TYPE CHECKS IN RUBY SYNTAX • BUILT BY ENGINEERS AT STRIPE, WITH CONTRIBUTIONS FROM THE COMMUNITY
  4. “SORBET WILL HAPPILY INCORPORATE RBS AS A WAY TO SPECIFY

    TYPE ANNOTATIONS, IN ADDITION TO THE EXISTING SYNTAX SORBET SUPPORTS.” https://sorbet.org/blog/2020/07/30/ruby-3-rbs-sorbet