Latest / Logosofia no Dia a Dia
Type Safety: Static vs Dynamic, Soundness & More
What does "type safety" actually mean? This episode unpacks the hidden taxonomy of type systems. We break down the fundamental distinction between static and dynamic typing, explore the fuzzy concept of strong vs weak typing, and tackle soundness—explaining why TypeScript is famously unsound by design. We also cover gradual typing (like Python with mypy), structural vs nominal typing, and type inference. Finally, we touch on Rust’s borrow checker and dependent types before landing on a practical takeaway for everyday software engineering. If you've ever wondered what your language's type…
The skinny
The skinny isn't ready yet — notes appear once the transcript is processed.