scala и появлися вопрос: вот тут
https://pastebin.com/tkdZK0sC
варианты A и B - это два способа написать одно и то же?
В scala 2 это пока очень разные вещи. 1. type member ы не могут быть ко\контр вариантными 2. type member ы лучше работают как type families аналог, если совмещать их с typeclass ами, компилятор всегда будет стараться вывести и сравнить их, а не начинать с них поиск имплиситов 3. В type parameters вы не можете сослаться на type members, а наоборот - можно В dotty эту разницу нивелируют и type parameters будет синтаксическим сахаром для type members
Обсуждают сегодня