4
Каковы убедительные примеры использования зависимых типов методов?
Зависимые типы методов, которые раньше были экспериментальной функцией, теперь включены по умолчанию в магистрали , и, по-видимому, это, похоже, вызвало некоторое волнение в сообществе Scala. На первый взгляд не сразу понятно, для чего это может быть полезно. Хайко Seeberger опубликовал простой пример зависимых типов методов здесь , которые , как …