R
Size: a a a
2020 October 13
Oℕ
Есть трейт, как обычно ебифунктор
ΛВ
Есть трейт, как обычно ебифунктор
это весь баг?
Oℕ
Метод принимает тайппараметр кайнда F[-_, +_]
Oℕ
Внутри он передаётся в тип, который требует именно такой кайнд
Oℕ
Компилится норм
Oℕ
Если в трейте наследнике оверрайдю этот метод - компилятор выдаёт ошибку
Oℕ
Т.е. компилятор выдаёт ошибку на трейт в зависимости от того, имплементится ли метод в трейте-наследнике
Oℕ
Попробую в другой файл перенести
AS
Т.е. компилятор выдаёт ошибку на трейт в зависимости от того, имплементится ли метод в трейте-наследнике
Норм.
Oℕ
Перенёс в другой файл-
Oℕ
Oℕ
Обожаю мутабельные компиляторы
Oℕ
С мутабельными типами
Oℕ
нет, не скомпилилось
ᛒ
нет, не скомпилилось
