Why is TypeScript unsound and why it's not a bad thing?

The talk

One-sentence summary

What does it mean that TypeScript is gradually typed language? What are the implications?

What's the format — is it a case study, a live coding session, a workshop or something else?

Super nerdy lecture.

Tell us more about the talk

I'll be talking about type systems, soundness, what does it mean for a language to be unsound. I'll cover migratory typing systems, show a wide spectrum of type soundness and tell you why it's not all or nothing.

You

A few words about yourself

Software Engineer at Hasura, based in Wrocław, Poland. Worked as a full-stack developer for quite some time with many different languages such as Elixir, Golang, Python, TypeScript. Now focused on the frontend side of the Hasura Console. In love with building modern, scalable applications with exceptional user experience.

How can we find you on social media?

http://aleksandra.codes/ https://twitter.com/aleksandrasays

Would you be willing to have a Q/A session after the talk?

Sure.

Do you mind if we record the event?

No problem.

Is there anything we can help you with?

I'd like to do this talk in July, not sooner.

karol-majewski commented 4 years ago

@beerose Is July a bad time for you to give the talk?

beerose commented 4 years ago

It is an inconvenient time indeed.

karol-majewski commented 4 years ago

When would there be a good time for you?

beerose commented 4 years ago

This talk requires more time for preparation than I have right now. However, I could possibly do some other talk.

WrocTypeScript / talks