Writing Type-Level programs in TypeScript | Talks at DeepSource

TypeScript's type system is more powerful than is let on by everyday use. Following the release of 4.9 — it's become more than just "JS with types". In this talk, Srijan from the DeepSource Language Engineering team covers a niche that explores writing programs entirely with types.

----------------------------------------------------------------------------------------------------------------------
Welcome to the official DeepSource YouTube channel. Here you’ll find news about our product launches, the Sourcerers, and the wonderful world of open-source. We at DeepSource are dedicated to helping you ship good code.

[texoport]

I spent 4 hours on this 30 minute video but left with a vastly better understanding of type-level ts. Excellent talk :)

[darrinmc]

The examples in your talk were fantastic. They cleared up a lot of confusion I had around how some of the type system features worked. Excellent work!

[xx-_someone_-yy]

"Very useful, very cool, very nice" indeed!

[nitsanbh]

20:55 that is NOT FIBONACCI,
It’s An = Σ(1…n)

[orrepstein]

This was super cool, but I'm curious, how would you represent negative numbers for your arithmetic types?

[kerolossamir]

This is brilliant ... but I just want to ask, how to use the type level in real code .. how can use add type .. will it be a function that Add and use these types or what .. the big picture is not clear in real-world coding