λ
переименуйся в IO
мне так комфортней
Size: a a a
2020 January 24
DM
но эт не отменяет факта то эт таиплкасс
зачем что-то называть тайп классом если уже есть параметрический полиморфизм?
λ
Любой параметризованный тип - тайпкласс?
.
DM
возможно тайп класс чем то отличается все же
λ
нет, но тут видно, что это специальный полиморфизм
DM
выделяется*
λ
Говоря о тайпклассах мы говорим о некоторой уникальности резолвинга инстансов. Транзактор, очевидно, для любого М может быть инстантиирован тысячью способами и в рамках одной программы может присутствовать в 3 разных версиях
λ
Ни в одном месте в дуби транзактор не просится имплиситно, это должно намекать как бэ
λ
и что
λ
то есть в твоем понимании, если там добавить везде implicit, он он вдруг станет везде таипклассом?
λ
ну там слишком абстрактно описано
λ
да
λ
ну они как бы в доке доже намекают что трансактор ето просто частично примененный врапер
λ
Для меня таиплкасс это конструкция, которая позволяет делает специальный полиморфизм. А как он юзается (явно или неявно) не важно
Б
Для меня таиплкасс это конструкция, которая позволяет делает специальный полиморфизм. А как он юзается (явно или неявно) не важно
типа List[A]?
λ
то есть trait Monoid[F]{} является таиклассом. И не важно как ты его передаешь, явно или нет
ЙШ
/stat@combot
λ
переименуйся в IO
тебя пугают мои сайд еффекты ?:D