There was a young lady in Moscow

О, я ждала этого вопроса. Он из разговора на GLEEшной школе. Мы обсуждали с gogabrом тамошний курс formal semantics, куда я ходила. Я говорю: "На первом занятии еще не ввели типов". Юра спросил, почему, и посоветовал спросить преподавательницу, когда же она собирается ввести типы. "Да ладно, -- говорю, -- что я, буду ей указывать, как курс строить и когда про типы говорить? Да кто я ей такая?" -- "Ты Typechecker", -- ответил Юра. Я запомнила.