HanCan we all just call it “type narrowing”?This one feature has popped up under different names in several recent type systems like TypeScript, Flow, Hack, Kotlin…Dec 14, 2020Dec 14, 2020
HanThe most puzzling Web platform bug I’ve encounteredSo say you’re me and you’re procrastinating on Hacker News instead of what you meant to be doing, like maintaining your open source project…Feb 21, 2017Feb 21, 2017