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

(Reply to this) (Parent) (Thread)

Понятно...

(Reply to this) (Parent)