Здравствуйте, PhantomIvan, Вы писали:

PI>что означает плюс в параметрическом полиморфизме:
PI>

PI>...[+T]
PI>

Коваринтность. Значит, что вместо Xxx[T] можено передавать любой Xxx[T2] если T2 является наследником от T. Минус наоборот.

Поддерживается для интерфейсов и делегатов.

См. примеры:
http://nemerle.org/svn/nemerle/trunk/ncc/testsuite/positive/co-contra-variance-native.n
и негативные:
http://nemerle.org/svn/nemerle/trunk/ncc/testsuite/negative/co-contravariant-native.n