I agree with him on nearly everything else, as well as how people should understand at least the big picture stuff about Erlang better (and Go would have been a much better language by embracing crash-first design and not boilerplate error checking literally everywhere).
I don't know how you get fast feedback from a highly type checked language, but fully dynamic YOLO languages certainly aren't the answer I'm looking for.