AZ
что ещё за Self блин
Size: a a a
2020 July 05
AZ
зачем нужно явно писать собственный тип?
ΛВ
это не собственный тип в общем-то
ΛВ
ты делаешь интерфейс на чем-то, а чтобы работал потом имплисит резолюшн, в этом интерфейсе должно быть указание на это — как раз тип Self
AZ
я не понимаю в чем разница между
trait MyInterface[Self]:и
type F[A]
def (item: Self) getSomething() (using Monad[F]): F[Int]
trait MyInterface
type F[A]
def getSomething() (using Monad[F]): F[Int]AZ
как вообще можно реализовать второй вариант?
ΛВ
я не понимаю в чем разница между
trait MyInterface[Self]:и
type F[A]
def (item: Self) getSomething() (using Monad[F]): F[Int]
trait MyInterface
type F[A]
def getSomething() (using Monad[F]): F[Int]ну ты же потом хочешь как-то находить инстансы этого майинтерфейс, раз делаешь given?
ΛВ
типа писать summon[MyInterface], да?
DS
как вообще можно реализовать второй вариант?
class MyClass extends MyInterface же
ΛВ
class MyClass extends MyInterface же
если не нужен поиск инстанса майинтерфейс, то пусть будет так, твой класс и будет инстансом
AZ
class MyClass extends MyInterface же
но через given такой интерфейс не реализовать?
DS
но через given такой интерфейс не реализовать?
Реализовать, но оно не будет делать то, что ты хочешь, скорее всего
DS
Тебе же надо будет связать инстанс MyInterface с соответствующим ему типом: SyncInterface и AsyncInterface.
Если он не будет параметризован, то ты никак этак связь выразить не сможешь
Если он не будет параметризован, то ты никак этак связь выразить не сможешь
ΛВ
AZ
given syncInterfaceInstance1 as MyInterface1:
type F[A] = Id[A]
def getSomething()(using Monad[Id]): Id[Int] = 42
А я разве не то же самое написал?AZ
а, понял
AZ
то есть даже так
AZ
тупо интерфейс в воздухе
ΛВ
Да, но это не круто
ΛВ
То есть не интерфейс просто, а обжект, синглтон