Similar quote in a more recent video: Removing type checking from your running programs is like wearing a life jacket for your practice emergency drills an

Similar quote in a more recent video: Removing type checking from your running programs is like wearing a life jacket for your practice emergency drills and then taking it off as soon as your ship was really sinking https://www.youtube.com/watch?v=YYkOWzrO3xg Maybe that was right in the 70-80s, but I feel like he's not giving enough credit to modern static verification / type-checking.