λ
то есть trait Monoid[F]{} является таиклассом. И не важно как ты его передаешь, явно или нет
а trait List[A]?
Size: a a a
2020 January 24
DM
тебя пугают мои сайд еффекты ?:D
черные дыры параметризма
λ
эт не специальный полиморфизм
λ
а параметрический
λ
Можно начать с того, что в скале тайпклассов нет
λ
То, что мы называем тайпклассами - это то, как мы это делали бы в хаскеле. Очевидно, никому не пришло бы в голову объявлять транзактор в хаскеле как класс
λ
ой не начинай
λ
Для таких вещей юзают эксплистные дикшинари
λ
Читай рекорды функций
λ
ты можешь иметь несколько реалазиции transactor в зависимости от M ?
λ
Могу и имею
λ
Банально хожу в три базы
λ
M то у них один и тот же
λ
С одним М
λ
M может быть любым, так?
λ
Хватит
V
M то у них один и тот же
Как вывести несколько инстансов тайпкласса для одного M?
λ
мы с котом пришли к соглашению, он прав
SA
Так чем тайпкласс отличается от нетайпкласса с идентичным типом?
λ
я прост поржал с 'non functional'