4 ms·
> Turing’s solution? Types! >> [Quoting Turing] We shall need a number of efficient librarian types to keep us in order. Uh... I think "librarian types" means
by ScottBurson 10y ago
> Turing’s solution? Types!
>> [Quoting Turing] We shall need a number of efficient librarian types to keep us in order.
Uh... I think "librarian types" means "people who think like librarians". It's a common colloquialism in some places: you have your entrepreneur types, your manager types, your artist types, and your librarian types.
- pron 10y agoIt was a joke! Clearly, it didn't land... Of course he meant people, but it may surprise some to learn (although it shouldn't; he wrote about a lot of topics) that Turing actually did write about type theory: https://projecteuclid.org/euclid.jsl/1183410407 https://projecteuclid.org/euclid.jsl/1183410407
- ScottBurson 10y agoOops, sorry! I thought for a moment that it might be a joke, but I couldn't see any other indication of that. Probably it came across better on the video than the transcript.