This guy is a genius. "Categories for the Working Hacker" by Philip Wadler https://t.co/KobSKZXfZ5 来自 @YouTube