Спасибо, Андрюх. Всегда знаю, на кого можно положиться в таких вопросах.

кажется понял, спасибо!

Есть тут кто шарит за переход на скала3? Я не могу понять с какими настройками у меня заработают ? вместо _

Сейчас мне усердно пишет

`?` is not a valid type name, use `_` to denote a higher-kinded type parameter

И на звездочки тоже ругается, потому что kind-projector не подключен (а я бы и рад всё поменять на вопросики + андерскоры, да не работает)

Пробовал два этих флага в scalacOptions во всех вариациях и последовательностях

    "-Ykind-projector:underscores"
    "-source:3.0-migration"

спасибо

@kai_neko про что-то такое писал

-Xsource:3?

тоже пробовал, неа. Ну и насколько я понял, этот флаг используется в scala 2.13 для перехода

А вы что пытаетесь сделать?

а я уже указал в проекте скала3 и хочу, чтоб вопросики заработали (для начала)

Вопросики и так работают. В скале 3 и вопросик и андерскор это вайлдкарды без всяких флагов.

ну вот у меня пока никак не работают

звёздочки работают?

Что именно у вас не рабоатет? Нужен пример, тут гадалок нет.

val xs: List[?] = List(1, 2, 3)

Так работает?

scastie мож

на любой вопрос пишет

`?` is not a valid type name, use `_` to denote a higher-kinded type parameter

на любую звезду

Not found: type *

но, как оказалось,

val xs: List[?] = List(1, 2, 3)

работает
поэтому я скорее всего туплю и чот неправильно понял, но

class TypesAlgebra[F[_], Alg[_]](implicit T: InjectK[TypeOp[F, *], Alg]) {
}

где

sealed trait TypeOp[F[_], T]

видимо, надо как-то подругому переписать, а не просто _ -> ?, * -> _?

Нет, не просто.

спасибо скасти

sbt.librarymanagement.ResolveException: Error downloading org.typelevel:cats_2.13:2.6.1

🙃

F[_] так и остается F[_], _ в экзистенциалах можно переписать на ? (но пока не обязательно, временно работают оба варианта), * из кайнд-прожектора можно или не трогать с флагом -Ykind-projector, или переписать на _ с флагом -Ykind-projector:underscores.

спасибо! теперь у меня компилится в скасти, но не компилится в проекте. Но уже прогресс