Episode 19 - Type Systems and Type Checking

Programming by Minko Gechev

Jun 16, 202000:06:00Technology

In this episode, we'll look at the very basics of type systems and their enforcement. We'll discuss strongly and weakly typed languages. After that, we'll dig into different enforcement strategies - runtime with dynamic...

Related Episodes

Continue listening to more episodes from Programming.

Episode 25 - Micro Frontends Patterns

Dec 20, 2025 - 00:24:51

The episode is inspired by research I conducted a few years ago in which I interviewed hundreds of other...

Episode 24 - AI Agents

Dec 13, 2025 - 00:18:38

In this episode, we'll cover what AI agents are, how they work, common agentic implementation patterns, a...

Episode 23 - Building a minimal reactive framework

Jan 17, 2025 - 00:17:54

This episode explores building a minimal reactive framework using signals as a reactivity primitive. We'l...

Episode 22 - Signals

Jan 10, 2025 - 00:11:19

In this episode, we'll explore a concept called Signal that has been getting a lot of traction in JavaScr...

Episode 21 - Maps, Hash Maps, Tree Maps, and Hash Tables

Jul 1, 2020 - 00:16:30

Today in less than 20 minutes, we'll explore what maps are and how they work under the hood. We'll talk a...

Episode 20 - Static and Dynamic Systems

Jun 23, 2020 - 00:13:29

Today we'll look into static and dynamic systems. We'll discuss what does it mean for a programming langu...

Episode 18 - How JavaScript Bundlers Work

May 25, 2020 - 00:11:12

In this episode, we'll look at what data structures and algorithms JavaScript bundlers use. We'll talk ab...

Episode 17 - Dependency Injection

Apr 21, 2020 - 00:10:24

Today we'll talk about using dependency injection across paradigms! You'll understand what this pattern i...