(no subject)

[typechecker]

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

Comments

[aldanur.livejournal.com]

Так это, rename token'ы по 15$ продаются...

[mashaaaa.livejournal.com]

Да вот еще. Лучше пропью.

[nodarius.livejournal.com]

Вот именно, не отдадим врагу! А вообще это удобно, моего имени регулярно не хватает до 6 символов, вот приходится "р" добавлять :)

[mitrius.livejournal.com]

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

[mashaaaa.livejournal.com]

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

[mitrius.livejournal.com]

Понятно...

[smilga.livejournal.com]

Ритчи вот, бедняге, ещё хуже — он всю жизнь жалеет, что в своё время не оставил -e на конце creat()...

[gogabr.livejournal.com]

Томпсон, кажется?

[smilga.livejournal.com]

Томпсон, разумеется. Прошу прощения за оговорку.

[brem.livejournal.com]

Да, я не поленился (после этого твоего соображения) посмотреть, есть ли masha, mashaa и mashaaa. Утвердительный ответ - только на первый вопрос.

[graf-g.livejournal.com]

mashaaaa трогательное и живое, а typechecker сухое какое-то

[alber.livejournal.com]

В оценке "mashaaaa" вполне солидарен с Гришей. Но и "typechecker" - хорошо (как и история появления). А если, как сейчас, есть возможность соединять - совсем замечательно).