AH
Size: a a a
2020 May 02
Dv
Но когда я какой-то тайпкласс реализую, что я там скажу?
Dv
Что я реализую монаду с логгером. Что я композирую при этом?
AH
Но когда я какой-то тайпкласс реализую, что я там скажу?
Не, ты реализуешь инстанс своего типа с логером и с монадой чтобы можно было подать в такую функцию. Можно отдельно, да
AH
То есть создаёшь отдельно инстанс логера, отдельно инстанс монады
Dv
Не, ты реализуешь инстанс своего типа с логером и с монадой чтобы можно было подать в такую функцию. Можно отдельно, да
Я, признаться, запутался, что за монады с логгерами такие, и как их реализовывать
Dv
То есть создаёшь отдельно инстанс логера, отдельно инстанс монады
Но ведь мне придётся какую-то ебаторию делать, чтобы их в один объект слить
AH
Но ведь мне придётся какую-то ебаторию делать, чтобы их в один объект слить
Нет, в этом бонус
AH
Dv
Вот у меня есть
def foo[X : Monad with Logger](monal: X) {}
Dv
И что, где я тут скомпозировал?
Dv
Как мне создать монал?
AH
Пишешь условно
type A with
Interface Monad with
...
....
type A with
Interface logger with
...
type A with
Interface Monad with
...
....
type A with
Interface logger with
...
Dv
Ну вот это разве композиция?
АВ
Но когда я какой-то тайпкласс реализую, что я там скажу?
вот ты приходишь просто и говоришь лист теперь функтор с такой-то функцией map, а не как в c# где всё гвоздями прибито, если Select то только для IEnumerable, и на выходе только он, а не сам лист.
Dv
Это чистое незамутнённое множественное наследование
AH
Вот у меня есть
def foo[X : Monad with Logger](monal: X) {}
У тебя где-то должны быть два инстанса X с монадой и Х с логером
O
На самом деле, я не понимаю, почему. Мне кажется, что тайпклассы — это прям наследование реализации в чистом виде.
не наследование, а сабтайпинг