Previously: "[Pike is] hardly the first hard-core hacker to be ignorant of the degree to which type theory has seen dramatic advances since the 1980s." It's a comment on this quote from Pike: https://news.ycombinator.com/item?id=6821389

I think Pike definitely had not, at that point, explored the way types work in ML-style languages.