Weʼve all been there. You make a small change in your code. You *think* it's okay. All of a sudden, your editor is on fire. Red squiggly lines took over and they demand your immediate response. The error message doesn't even fit on the screen. You look at the bottom, and there it is. The Night King of error messages.
Type 'Foo' is not assignable to type 'Bar'.
But what does it actually mean? It's time we talked about type compatibility.
Type assignability, type compatibility, apparent types, naked types, strong types, weak types, top types, bottom types, conditional types, contextual types, structural typing, nominal typing, covariance, contravariance, subtypes, supertypes, exact types… This can be a lot.
It's difficult to reach peak productivity with TypeScript without the knowledge of how it works under the hood. This time we will roll up our sleeves and have a look at the machinery powering our favorite language.
Tomasz's presentation will be followed by a lightning talk about the “strict” setting of the compiler (Jakub Chodorowicz).
Remember Tomasz, the one who delivered a live-coding session about functional programming earlier this year?
That's the one. Check him out on Twitter: https://twitter.com/tomasz_ducin
🧔 Jakub Chodorowicz
Jakub is a software engineer working currently in Collibra office in Wroclaw. He's fighting ⚔ mainly on front-end front and using tools like TypeScript and React to build maintainable and bulletproof 🛡 web apps. Always ready to talk tech and life topics while sipping some yerba mate.
18:40 Tomasz Ducin: A deeper dive into type compatibility (40 min)
19:40 Jakub Chodorowicz: Path to strict type checking (10 min)
20:00 Networking and pizza
You can expect pizza and refreshments (including alcohol-free and vegan options).
Contact e-mail: [masked]