DB
это ты зря
Size: a a a
2021 May 03
AS
В конце концов, через них можно выписать любую монаду, а с типизацией монад всегда были какие то проблемы
AS
Надо бы разобраться нормально
AS
Я на линзы очень долго плевался, а по итогу получаются гораздо удобнее рекордов
DB
какие проблемы с типизацией монад и что это вообще значит?)
AS
ну в 95% языков нельзя выразить тип монады
AS
Надо как минимум N-rank полиморфизм иметь по идее
AS
Что в скале я просто не имею понятия
DB
в scala3 завезут rank-N-types
DB
нет, для монад не нужен rank-N-types
DB
ни разу
AS
Может я просто тупой и у меня не получилось
AS
А есть примеры?
DB
примеры чего?
AS
Интерфейса абстрактной монады без N-ранк
MP
для абстрактной монады нужны higher kinded types
MP
а не N-rank
MP
вроде бы
AS
Спасибо
AA
почему "полурантаймовых". дата/тайпабл - рантаймовая, дженерик - компайлтаймовая