
235: Incremental Correctness (feat. Guillermo Rauch)
Design Details
00:00
The Art of Correctness
There is still going to be a lot of art to the science. I've never rejected in my life languages that are typeless or languages that are super dynamic because I think they both have strengths and weaknesses that apply equally to different circumstances. We did like no typing at first and then we progressively added it to individual files and eventually we got it so our code bases can now work with type systems.
Transcript
Play full episode