Oℕ
пример
Size: a a a
2020 May 19
ЮБ
Там в доке даже так написано
Oℕ
какого рода тайпкласс
ЮБ
trait Labeled[L <: Singleton with String, A]
ЮБ
though some typeclasses may take more than one parameter. If, for example, we had an Encoder[F, T] typeclass, parameterized on both the type is is encoding (T), and the format it is encoding to (F), we would need to provide a derivation for each format, fixing the format parameter in the Typeclass definition
ЮБ
А мне не нужна фиксация левого параметра
Oℕ
а как ты хочешь выводить?
Oℕ
если для всех компонент будет Labeled, какой будет Labeled у силд трейта?
Oℕ
можешь пример развёрнутого кода написать
MB
Прив, подскажите как вкотиться в Scala 3. Начинать, как я понимаю, лучше сразу с dotty?
MB
Знания скалы ноль, есть представления о хаскеле, окамле и тп
λ
Прям сразу в 3 ?
Oℕ
Прив, подскажите как вкотиться в Scala 3. Начинать, как я понимаю, лучше сразу с dotty?
Да
Oℕ
А другой скалы 3 и нет
MB
Ну, чтобы через год быть на рынке, да, в третью. Не люблю скобочки
λ
Есть мнение, что пока рано в 3 скалу вкатываться. Вдруг опять given переименуют )
Oℕ
Прив, подскажите как вкотиться в Scala 3. Начинать, как я понимаю, лучше сразу с dotty?
Можно зайти в @scala_learn и задавать вопросы
MB
Можно зайти в @scala_learn и задавать вопросы
спс