Changelog Interviews

Types will win in the end


Listen Later

This week we’re talking about type checking with Jake Zimmerman. Jake is one of the leads at Stripe working on Sorbet — an open source project that does Type checking in Ruby and runs over Stripe’s entire Ruby codebase. As of May of 2022 Stripe’s codebase was over 15 million lines of code spread across 150,000 files. If you think you have a bigger Ruby codebase, Jake is down to go byte-for-byte to see who wins. Jake shares tons of wisdom and more importantly he shares why he thinks types will win in the end.

Join the discussion

Changelog++ members get a bonus 4 minutes at the end of this episode and zero ads. Join today!

Sponsors:

  • Sentry – Code-level APM built for developers! Stay ahead of latency issues and trace every slow transaction to a poor-performing API call or database query. Sentry is the only developer-first application monitoring platform that shows you what’s slow, down to the line of code. Use the code CHANGELOGMEDIA and get the team plan FREE for six (6) months.
  • Drata – Put security and compliance on autopilot. Build trust with your customers and scale securely with Drata, the smartest way to achieve continuous framework compliance for SOC 2, ISO 27001, HIPAA, GDPR, and more.
  • Typesense – Lightning fast, globally distributed Search-as-a-Service that runs in memory. You literally can’t get any faster!
  • Featuring:

    • Jake Zimmerman – Website, GitHub, Mastodon, X
    • Adam Stacoviak – Website, GitHub, LinkedIn, Mastodon, X
    • Jerod Santo – GitHub, LinkedIn, Mastodon, X

    Show Notes:

    • sorbet.org
    • Getting started with Sorbet
    • Sorbet: Stripe’s type checker for Ruby
    • Justin Searls
    • Something missing or broken? PRs welcome!

      ...more
      View all episodesView all episodes
      Download on the App Store

      Changelog InterviewsBy Changelog Media

      • 5
      • 5
      • 5
      • 5
      • 5

      5

      5 ratings


      More shows like Changelog Interviews

      View all
      Planet Money by NPR

      Planet Money

      30,830 Listeners

      The Changelog: Software Development, Open Source by Changelog Media

      The Changelog: Software Development, Open Source

      284 Listeners

      Conversations with Tyler by Mercatus Center at George Mason University

      Conversations with Tyler

      2,395 Listeners

      Twenty Thousand Hertz by Dallas Taylor

      Twenty Thousand Hertz

      3,923 Listeners

      Python Bytes by Michael Kennedy and Brian Okken

      Python Bytes

      215 Listeners

      NVIDIA AI Podcast by NVIDIA

      NVIDIA AI Podcast

      331 Listeners

      Syntax - Tasty Web Development Treats by Wes Bos & Scott Tolinski - Full Stack JavaScript Web Developers

      Syntax - Tasty Web Development Treats

      987 Listeners

      Darknet Diaries by Jack Rhysider

      Darknet Diaries

      7,879 Listeners

      Sean Carroll's Mindscape: Science, Society, Philosophy, Culture, Arts, and Ideas by Sean Carroll | Wondery

      Sean Carroll's Mindscape: Science, Society, Philosophy, Culture, Arts, and Ideas

      4,139 Listeners

      Practical AI by Practical AI LLC

      Practical AI

      192 Listeners

      Dwarkesh Podcast by Dwarkesh Patel

      Dwarkesh Podcast

      409 Listeners

      Oxide and Friends by Oxide Computer Company

      Oxide and Friends

      47 Listeners

      The AI Daily Brief (Formerly The AI Breakdown): Artificial Intelligence News and Analysis by Nathaniel Whittemore

      The AI Daily Brief (Formerly The AI Breakdown): Artificial Intelligence News and Analysis

      479 Listeners

      Changelog News by Changelog Media

      Changelog News

      13 Listeners

      Changelog & Friends by Changelog Media

      Changelog & Friends

      2 Listeners