Can you talk about: Type safety?

[iamkevinv]

[jwulf]

I can talk about TypeScript and the benefits and drawbacks. I've been using it since 0.8 back in 2012.

[olsnacky]

I can talk about type systems. Is there a specific focus you have in mind?

[jwulf]

Higher-Kinded Types in TypeScript!

[jwulf]

I think an introduction to types and the benefits / drawbacks - out of date type definitions for non-TS deps, or changes to upstream types that break things (an example) come to mind.

With those kind of errors you end up losing time fixing things that add no direct business value.

Identifying bugs like failure to return a value from a function, or returning the wrong thing (incl. not awaiting a Promise), non-exhaustive switches etc is a benefit. As is an ergonomic surface for code (self-documenting) including drop-downs for discriminated unions of string literals.

Use boolean literals to create type guards which cast inside blocks is also very cool.