Gabriel Nordeborn - Rescript
devtools.fm: Developer Tools, Open Source, Software Development
00:00
What does a sound type system give you in practice?
Gabriel outlines guarantees of soundness: compile-time trust, exhaustive checks, and easier refactors.
Transcript
Play full episode
