(no subject)

[typechecker]

Одного не понимаю, -- зачем я назвала себя в ЖЖ mashaaaa (такое написание моего имени предложил много лет назад один нестандартный человек), а не попросту Typechecker. Ну да уж чего теперь.

Comments

[mitrius.livejournal.com]

а што значит этот тупечекер? зачем он? откуда?

[mashaaaa.livejournal.com]

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

[mitrius.livejournal.com]

Понятно...