Introduction to Typed Racket

on YouTube ↗01h 45m

" summary

An introduction to Typed Racket covering its type system features and practical typing of existing untyped Racket code. Includes concrete examples and exercises, examination of problems when mixing typed and untyped modules, and discussion of adding type annotations to many Racket libraries to encourage contributions.

AI-written summary · about

" related talks

• 21mGradual Typing is the best!Cameron Matheson · MountainWest JavaScript 2015
• 53mRacketScript — Language of the Future?Sergey Golovin · HolyJS 2021 Moscow
• 01h 05mBusy TypeScript Developer’s Guide to Advanced TypeScriptTed Neward · JAX 2019
• 25mStatic types in JavaScript: what, how and whyDmitry Jemerov · JSConf EU 2013
• 45mTypes in PrototypesViktor Vershanskiy · HolyJS 2023 Spring
• 30mTyped JavaScript? For real? The “type annotations” proposal and what it’s all aboutGil Tayar · JSConf Budapest 2022
• 30mThe Fun of Runtime Type Systems (or "Funtime Type Systems")Michel Weststrate · ReactEurope 2018
• 45mTyplish ScriptNikolay Ryzhikov · HolyJS 2023 Spring