Tech Talk: Typescript with Chris Krycho
CoRecursive: Coding Stories
00:00
Is JavaScript a Refinement Type System?
TypeScript is the closest thing to dependently typed and refinement type systems that actually is in production at scale anywhere. It's not doing those things, but it's probably the biggest step in their direction that you're seeing in industry use on a wide scale. So very sophisticated, very capable, so much so that even when I'm working in stricter languages like Elmore Rust, sometimes I miss some of those incredibly rich, very dynamic capabilities that come out of TypeScript as a result.
Transcript
Play full episode
