Здравствуйте, _ALeRT_, Вы писали:
_AL>В статьеАвтор(ы): Сергей Туленцев, Владислав Чистяков
Дата: 23.05.2006
Производительность труда программиста в основном зависит от самого программиста. Однако даже самый опытный и знающий программист мало что может без подходящего инструмента. Эта статья открывает цикл статей об одном из таких инструментов, еще мало известном среди программистов, но очень многообещающем. Язык Nemerle, о котором пойдет речь в этих статьях, на первый взгляд очень похож на слегка улучшенный C#, но привносит многое из передовых исследовательских языков. Данная статья рассказывает об отличиях Nemerle от C# (как наиболее близкого языка)и является неформальным введением в язык.
достаточно расплывчато сказано, что с помощью этой возможности можно объявлять даже открытые generic-типы. Собственно а subj вообще поддерживается? Вроде получается что частичная специализация есть, но не совсем 
Там имелось в виду что как раз специализации нет, а есть только алиасы/синонимы. (специализация просто игнорируется насколько я помню)
В общем-то надо прикрыть это сообщением об ошибке, пока кто-нибудь не реализует этот функционал
P.S. подходящий баг в трекере:
http://nemerle.org/bugs/view.php?id=830
