[devel] MIME Revolution!

Igor Vlasenko vlasenko на imath.kiev.ua
Ср Апр 13 22:53:05 UTC 2011


On Thu, Apr 14, 2011 at 02:41:30AM +0400, Денис Смирнов wrote:
> Твои циферки гораздо лучше чем то что существует сейчас. Но можно
> придумать еще лучше -- без циферок с прямыми сравнениями :)

я вот думал, когда, скажем,
на audio/* один приоритет, а на конкретно audio/midi --
совершенно другой.

Если объяснить, то прямые сравнения на каждом pattern порождают
свое ЧУМ, частично упорядоченное множество.
и как эти ЧУМ в одну деревню собрать - не понятно,
а циферки порождают полное упорядочение,
такой проблемы нет.

-- 

Dr. Igor Vlasenko
--------------------
Topology Department
Institute of Math
Kiev, Ukraine



Подробная информация о списке рассылки Devel