December 17th, 2007

with Cat The Cat

Павелецкая-Икстлан. Воскресная история.

В воскресенье я договорился встретиться на Павелецкой-кольцевой. Договорился, правда, не очень хорошо, сам не был уверен, что встреча удастся, но поехал просто из любви к искусству.

Я приехал за десять минут до оговоренного времени, обнаружил себя встречающей стороной и стал ждать встречаемую сторону. Поскольку я знал, что могу прождать достаточно долго, я взял с собой распечатку статей про ограничение сложности и по прибытии на место приступил к чтению, сделав невыразимо умное лицо.

Периодически отрываясь на обозрение местности, приметил группу из пяти человек, все невысокого роста и все не совсем славяне. Они вышли из вагона, едущего в сторону Добрынинской и стали спрашивать у стоящего неподалеку от меня азиата, как проехать до Тульской. Азиат прекратил щелкать пузыри из жевачки и, отводя взгляд, отнекивался и отмыкивался. Я попробовал привлечь внимание говорящего по русски фразой "Господа! Вам до Тульской?" но успеха не достиг. Тогда я вернулся к своему чтению.

Через минуту они обратились уже ко мне. "Тульская?"

Я сказал, что надо сесть вон на тот поезд - показал рукой, - и проехать одну остановку, после чего перейти. Поскольку в доступном им словаре слова "спасибо" не было, они сделали лица еще более кирпичами и отчалили. Я снова вернулся к чтению и периодическому обзору местности.

Через пять минут - это доехать до Добрынинской и вернуться обратно, - я снова обнаружил ту же группу из пяти человек. На этот раз они направлялись прямо ко мне. Я сделал хмурое лицо - мне не нравятся глупые поступки, - и сразу спросил: "В чем проблемы?"

На этот раз говорящий по-русски был гораздо более словоохотлив и приятен лицом. Он даже смог составить фразу "Никаких проблем! Тульская?"

Я повторил процедуру с указанием направлений и общими словами, подкрепил ее чтением вслух указателей и даже указал текущее, промежуточное и требуемое положения на карте метро, вынутой кем-то из них из кармана.

Мы расстались во второй раз, после длительного монолога на непонятном языке.

Я подумал, что встречаемая сторона может быть на Павелецкой-радиальной и пошел проверить. Когда я вернулся обратно и готовился занять позицию для чтения статьи, я снова увидел группу тех же товарищей. Они спускались в переход на зеленую ветку и лица у них были совсем-совсем... не отчаявшиеся, нет, но как у людей, которым задали хитрую загадку, а они не знают ответ и пытаются найти его перебором ответов.
Дорогие встречающие гостей столицы!

Не надо так больше поступать. Гости столицы тоже люди и могут не справиться со сложностью Московского метро.

Я, привычный к метро человек, и то несколько теряюсь, допустим, в Питере. Что говорить о людях, которые его в глаза не видели, да еще и язык плохо знают.
Когда я понял, что встречаемой стороны сегодня я не увижу, я сел, и поехал домой, на Нагатинскую, что сразу после Тульской.

Сел я, само собой, на поезд до Таганской, то есть, в другую сторону.

Я подозреваю, что это заразно.
with Cat The Cat

А еще у зависимых типов проблемы с перегрузкой.

Выводы по чтению вот этой статьи. До конца я не дочитал, однако.

Пример перегруженного значения с проблемой: πn.{πn.array [n] of char, array [3] of char}.

Проблема заключается в том, что для определенного n (n==3) появляется неоднозначность выбора между значениями.

Что нехорошо. ;)

PS
Создается нехорошее впечатление, что вывод типов в стиле ХМ - лучшее, что есть на данный момент.

Чуть шагнешь в сторону и начинаются проблемы то с одной полезной стороной системы типов, то с другой.