Communicating in Types | Code Remix Summit Keynote by Kris Jenkins

Kris Jenkins, Software Developer, Developer Advocate, and host of the Developer Voices Podcast, presents the 2025 Code Remix Summit Keynote, "Communicating in Types."

Session details:
Modern type systems have come a long way since C. They’re no longer just book-keeping checks to satisfy the compiler. These days a good type system lets you express ideas about what your code does, what problems you're trying to solve, and what design constraints you're up against. But only if you know how to make use of them.

So let's take a look at the best of modern type systems and learn how to read & write them. You'll see that they types are so much more than a tool for correctness - they're a whole design language. And with a good design language, you can speak more clearly to your computer, your software can speak more clearly to your team, and you can even learn to spot poorly-expressed ideas and find new opportunities for refactoring.

About the Speaker
Kris Jenkins is a lifelong computer geek who loves designing software, writing it, and talking about it afterwards. He's been a software developer, a Co-Founder and a CTO, and these days he's a Developer Advocate, talking about how we can all build better systems.

Видео Communicating in Types | Code Remix Summit Keynote by Kris Jenkins канала Moderne and OpenRewrite