Fixed: Реализация двух одинаковых интерфейсов в одном типе
От: VladD2 Российская Империя www.nemerle.org
Дата: 25.11.10 16:37
Оценка: 150 (13)
Под давлением общественности
Автор: Воронков Василий
Дата: 12.11.10
добавил возможность реализации двух различных воплощений одного и того же интерфейса (с не пересекающимся набором аргументов типа).

Откровенно говоря не знаю зачем это сделал. Видимо просто надоело это обсуждать.

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

ЗЫ

Вопрос к Никову. Пока реализовывал эту фичу подумал, что в принципе наверно можно было бы пойти чудь дальше и позволить различать интефейсы не на основе только лишь унификации (как это сделано сейчас), а так же еще и учитывать ограничения (констрэйны). Так вот, вопрос в том позволяет ли CLR/Mono реализовывать два воплощения одного интерфейса отличающиеся только констрэйнами (например, один для вэлью-типов, а другой для ссылочных)?
Есть логика намерений и логика обстоятельств, последняя всегда сильнее.
 
Подождите ...
Wait...
Пока на собственное сообщение не было ответов, его можно удалить.