I need to watch this video, but I'd argue that the debate is over on typing. You can make all the theoretical ideas you want, but JS and Python have added typing, it has been received enthusiastically and it has been beneficial. Real world results out rank any philosophical views.

That doesn't mean they're appropriate for all programming languages (it is nice in Python when knocking up a quick and dirty script to not bother with types) but for general purpose languages, types add too much value.