I've always thought he's does a great job at explaining the problems we have with a high degree of clarity. I just depart at the point where he claims that type systems are too limiting without fixes to those things, and I use his ideas to help push for new type systems.
You’re unable to view this Tweet because this account owner limits who can view their Tweets. Learn more