| |
[Mar. 26th, 2005|11:53 pm] |
|
Одного не понимаю, -- зачем я назвала себя в ЖЖ mashaaaa (такое написание моего имени предложил много лет назад один нестандартный человек), а не попросту Typechecker. Ну да уж чего теперь. |
|
|
| Comments: |
Так это, rename token'ы по 15$ продаются...
Да вот еще. Лучше пропью.
Вот именно, не отдадим врагу! А вообще это удобно, моего имени регулярно не хватает до 6 символов, вот приходится "р" добавлять :)
а што значит этот тупечекер? зачем он? откуда?
О, я ждала этого вопроса. Он из разговора на GLEEшной школе. Мы обсуждали с gogabr@ljом тамошний курс formal semantics, куда я ходила. Я говорю: "На первом занятии еще не ввели типов". Юра спросил, почему, и посоветовал спросить преподавательницу, когда же она собирается ввести типы. "Да ладно, -- говорю, -- что я, буду ей указывать, как курс строить и когда про типы говорить? Да кто я ей такая?" -- "Ты Typechecker", -- ответил Юра. Я запомнила.
Ритчи вот, бедняге, ещё хуже — он всю жизнь жалеет, что в своё время не оставил -e на конце creat()...
Томпсон, разумеется. Прошу прощения за оговорку.
Да, я не поленился (после этого твоего соображения) посмотреть, есть ли masha, mashaa и mashaaa. Утвердительный ответ - только на первый вопрос.
mashaaaa трогательное и живое, а typechecker сухое какое-то
В оценке "mashaaaa" вполне солидарен с Гришей. Но и "typechecker" - хорошо (как и история появления). А если, как сейчас, есть возможность соединять - совсем замечательно). | |