15.5 C
New York
Wednesday, October 15, 2025

Static Evaluation for Ruby with Jake Zimmerman


Dynamic languages like Ruby, Python, and JavaScript decide the varieties of variables at runtime relatively than at compile time. This flexibility permits for speedy improvement and concise code, but it surely additionally makes it tougher to catch sure lessons of bugs earlier than execution. Kind checkers for dynamic languages add construction and security with out compromising their expressive energy.

Sorbet is a static sort checker developed by the Stripe crew and designed particularly for Ruby. The motivation behind Sorbet stemmed from the rising complexity of manufacturing Ruby purposes, the place builders wanted stronger ensures and extra scalable code high quality instruments than dynamic typing alone might provide.

Jake Zimmerman is a software program engineer at Stripe and leads improvement on Sorbet. He joins the podcast with Josh Goldberg to debate his background, the challenges of typing in Ruby, the motivation behind Sorbet, its structure, efficiency optimizations, and extra.

Josh Goldberg is an unbiased full time open supply developer within the TypeScript ecosystem. He works on initiatives that assist builders write higher TypeScript extra simply, most notably on typescript-eslint: the tooling that permits ESLint and Prettier to run on TypeScript code. Josh usually contributes to open supply initiatives within the ecosystem akin to ESLint and TypeScript. Josh is a Microsoft MVP for developer applied sciences and the creator of the acclaimed Studying TypeScript (O’Reilly), a cherished useful resource for any developer looking for to study TypeScript with none prior expertise exterior of JavaScript. Josh usually presents talks and workshops at bootcamps, conferences, and meetups to share information on TypeScript, static evaluation, open supply, and normal frontend and net improvement.

Please click on right here to see the transcript of this episode.

Sponsorship inquiries: [email protected]

Sponsors

Feeling the AI nervousness? From inquiries to job safety to cybersecurity and all the things in between, it’s simple to really feel overwhelmed with the speed of AI innovation. 

Enter Airia. The enterprise AI orchestration and safety platform constructed to spice up your confidence. With Airia, you don’t should compromise between velocity and innovation or safety and governance. Shortly deploy AI with out reducing corners on compliance. Give your groups the boldness to undertake AI with Airia. 

Able to eradicate your AI nervousness? Go to airia.com to get began at no cost in the present day. That’s A-I-R-I-A dot com. 

APIs are the inspiration of dependable AI – and dependable APIs begin with Postman. Trusted by 98% of the Fortune 500, Postman is the platform that helps over 40 million builders construct and scale the APIs behind their most crucial enterprise workflows.

With Postman, groups get centralized entry to the newest LLMs and APIs, MCP help, and no-code workflows, multi functional platform. Shortly combine essential instruments and construct multi-step brokers with out writing a single line of code.

Begin constructing smarter, extra dependable brokers in the present day. Go to postman.com/sed to study extra.

Capital One’s proprietary AI options are constructed on their trendy tech stack. Their engineering groups are utilizing real-time knowledge at scale, utilized analysis, and the ability of cloud platform standardization and automation to embed customer-driven AI options all through their enterprise.

Related Articles

LEAVE A REPLY

Please enter your comment!
Please enter your name here

Latest Articles