Watching the talk "Typing the Untyped: Soundness in Gradual Type Systems" by Ben Weissmann (https://www.youtube.com/watch?v=uJHD2xyv7xo https://www.youtube.com/

Watching the talk "Typing the Untyped: Soundness in Gradual Type Systems" by Ben Weissmann (https://www.youtube.com/watch?v=uJHD2xyv7xo https://www.youtube.com/watch?v=uJHD2xyv7xo) gave me an appreciation for the challenges in designing in a gradual type system like TypeScript. When I first started using TypeScript, I was surprised to find that it wouldn't compile code I absolutely knew was correct, or that it would allow "risky" code in some cases as the author says. The talk formalized the issues I faced using TypeScript by teaching me about soundness, completeness, and the trade-offs that are often taken between the two. Generally, TypeScript has made my life a lot easier than the occasional trouble it's brought me.