PostHole
Compose
Login
Static Analysis for Ruby with Jake Zimmerman
Dynamic languages like Ruby, Python, and JavaScript determine the types of variables at runtime rather than at compile time. This flexibility allows for rapid development and concise code, but it also makes it harder to catch certain classes of bugs before execution. Type checkers for dynamic languages add structure and safety without compromising their expressive
The post Static Analysis for Ruby with Jake Zimmerman appeared first on Software Engineering Daily.
Static Analysis for Ruby with Jake Zimmerman
By SEDaily
** Podcast
Tuesday, October 14 2025
Podcast: Play in new window | Download
Subscribe: RSS
Dynamic languages like Ruby, Python, and JavaScript determine the types of variables at runtime rather than at compile time. This flexibility allows for rapid development and concise code, but it also makes it harder to catch certain classes of bugs before execution. Type checkers for dynamic languages add structure and safety without compromising their expressive power.
Sorbet is a static type checker developed by the Stripe team and designed specifically for Ruby. The motivation behind Sorbet stemmed from the growing complexity of production Ruby applications, where developers needed stronger guarantees and more scalable code quality tools than dynamic typing alone could offer.
Jake Zimmerman is a software engineer at Stripe and leads development on Sorbet. He joins the podcast with Josh Goldberg to discuss his background, the challenges of typing in Ruby, the motivation behind Sorbet, its architecture, performance optimizations, and more.
Josh Goldberg is an independent full time open source developer in the TypeScript ecosystem. He works on projects that help developers write better TypeScript more easily, most notably on typescript-eslint: the tooling that enables ESLint and Prettier to run on TypeScript code. Josh regularly contributes to open source projects in the ecosystem such as ESLint and TypeScript. Josh is a Microsoft MVP for developer technologies and the author of the acclaimed Learning TypeScript (O’Reilly), a cherished resource for any developer seeking to learn TypeScript without any prior experience outside of JavaScript. Josh regularly presents talks and workshops at bootcamps, conferences, and meetups to share knowledge on TypeScript, static analysis, open source, and general frontend and web development.
Please click here to see the transcript of this episode.
Sponsorship inquiries: sponsor@softwareengineeringdaily.com
SEDaily
Sponsors
Feeling the AI anxiety? From questions to job security to cybersecurity and everything in between, it’s easy to feel overwhelmed with the rate of AI innovation.
Enter Airia. The enterprise AI orchestration and security platform built to boost your confidence. With Airia, you don’t have to compromise between speed and innovation or security and governance. Quickly deploy AI without cutting corners on compliance. Give your teams the confidence to adopt AI with Airia.
Ready to eliminate your AI anxiety? Visit airia.com to get started for free today. That’s A-I-R-I-A dot com.
APIs are the foundation of reliable AI – and reliable APIs start with Postman. Trusted by 98% of the Fortune 500, Postman is the platform that helps over 40 million developers build and scale the APIs behind their most critical business workflows.
With Postman, teams get centralized access to the latest LLMs and APIs, MCP support, and no-code workflows, all in one platform. Quickly integrate critical tools and build multi-step agents without writing a single line of code.
Start building smarter, more reliable agents today. Visit postman.com/sed to learn more.
****POPULAR****
- Why We Switched from Python to Go 16 views
Software Daily
Subscribe to Software Daily, a curated newsletter featuring the best and newest from the software engineering community.
Exclusive Articles
VMware Tanzu GemFire and Next-Generation Real-Time Application Development
Uber’s LedgerStore and its Trillions of Indexes with Kaushik Devarajaiah
GraphQL vs. REST: What Are They, and Which Is Better for You?
Cloud Engineering
CodeRabbit and RAG for Code Review with Harjot Gill
Building Chess.com with Jay Severson
Mastodon with Eugen Rochko
Business and Philosophy
Startup Investing with George Mathew
KubeCon Special: Docker with Justin Cormack
Software Architecture with Josh Prismon
Greatest Hits
Hardening C++ with Bjarne Stroustrup
Surviving ChatGPT with Christian Hubicki
Special Episode with George Hotz
Hackers
Making React 70% faster with Aiden Bai of Million.js
Cross-functional Incident Management with Ashley Sawatsky and Niall Murphy
SDKs for your API with Sagar Batchu
Data
[...]