Здравствуйте, Anton V. Kolotaev, Вы писали:

AVK>Как я понял, альтернативы в паттерн-матчинге перебираются в порядке их объявления и таким образом может быть отдано предпочтение менее специализированной альтернативе, если она определена раньше более специализированной альтернативы.

Все это решаемо, к примеру, добавлением параметра в паттерн-матчинге, управляющего выбором альтернатив более точно.

AVK> Когда речь идет о мультиметодах подразумевается, что вызывается наиболее специализированный метод (если нет неоднозначностей).

Тут я плохо знаком с Nemerle, но, к примеру, в CSS или XSLT тоже выбирается наиболее специализированная альтернатива.