Вопросы с тегом зависимый-метод типа - PullRequest
Новая

Вопросы с тегом зависимый-метод типа

123 голосов
4 ответов
Каковы некоторые убедительные варианты использования для зависимых типов методов?

Зависимые типы методов, которые раньше были экспериментальной функцией, теперь включены по...

missingfaktor / 22 октября 2011
Для получения более полной информации посмотрите в списке вопросов или в популярных тегах.
Добро пожаловать на сайт PullRequest, где вы можете задавать вопросы и получать ответы от других членов сообщества.
...