
Types will win in the end (Interview)
Streams straight from the publisher. podnod never proxies or re-hosts episode audio.
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.
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
CHANGELOGMEDIAand 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 – Website, GitHub, LinkedIn, Mastodon, X
Show Notes:
Something missing or broken? PRs welcome!
Join the discussion
changelog.zulipchat.comChangelog++
changelog.comSentry
sentry.ioDrata
drata.comTypesense
cloud.typesense.orgWebsite
jez.ioGitHub
github.comMastodon
hachyderm.ioX
x.comWebsite
adamstacoviak.comGitHub
github.comLinkedIn
linkedin.comMastodon
changelog.socialX
x.comWebsite
jerodsanto.netGitHub
github.comLinkedIn
linkedin.comMastodon
changelog.socialX
x.comsorbet.org
sorbet.orgGetting started with Sorbet
sorbet.orgSorbet: Stripe’s type checker for Ruby
stripe.comJustin Searls
justin.searls.coPRs welcome!
github.com
- 0:00This week on The Chagnelog
- 1:00Sponsor: Sentry
- 5:02Start the show!
- 10:59Sorbet's origin story
- 15:32Stripe's use of Sorbet
- 17:10This is a big deal
- 19:58Ruby doesn't want to be type checked
- 24:14Method missing?
- 25:39Sponsor: Drata
- 27:22First-party Ruby types
- 35:14Why aren't Types built in?
- 37:37Sorbet's implementation and design
- 46:12RBI vs RBS?
- 51:19Stripe has the largest Ruby codebase
- 52:46Adopting Sorbet
- 54:27Editor support
- 56:55Types will win
- 58:36Jake's language of choice
- 1:00:18The name "Sorbet"
- 1:02:54Up next!