TypeScript types, Turing completeness, and limits

Scott and Wes sit down with Dimitri Mitropoulos to explore the wild edges of TypeScript—from running Doom in the type system to building tools like Typeslayer. They dig into Turing-complete types, performance limits, and what the future might hold for TypeScript and programming languages as a whole.

Show Notes

• 00:00 Welcome to Syntax!
• 00:27 Dimitri Mitropoulos Introduction
• 01:29 What is Doom in TypeScript?
• 03:10 TypeScript Types and Turing Completeness
• 04:06 Project Overview and Challenges
• 04:57 ASCII Art and Visual Representation
• 06:50 Performance Issues with TypeScript
• 09:27 Brought to you by Sentry.io
• 09:51 Typeslayer Tool Introduction
• 16:19 Building in Tauri
• 20:54 Challenges around packaging
• 24:03 Future of TypeScript and AI
• 27:40 Is the Go-based compiler significantly faster?
  • TSperf
• 30:23 Should there be something to follow Typescript?
• 36:27 Staying up to date with WASM.
• 37:08 SquiggleConf Overview
• 38:26 Hosting a conference
• 40:45 What are your thoughts on Zig?
• 45:07 Vibe coding as an end goal
• 50:01 Sick Picks & Shameless Plugs

Sick Picks

• Dimitri: pullfrog

Shameless Plugs

• Dimitri: Michigan TypeScript on YouTube

Hit us up on Socials!

Syntax: X Instagram Tiktok LinkedIn Threads

Wes: X Instagram Tiktok LinkedIn Threads

Scott: X Instagram Tiktok LinkedIn Threads

Randy: X Instagram YouTube Threads