O
о, теперь сработало. как так
Size: a a a
2020 October 03
L
Нечитабельная
O
теперь лучше?
L
Нет
L
Заскринь прост
O
что заскринить? я в телеге печатал
2020 October 04
L
что заскринить? я в телеге печатал
Мдауж
L
Что у тебя в Case
L
Что-то особенное?
L
Или это функция или чо
L
В телеге без подсветки анрил разобрать
VZ
Блин неотформатированный код
Деды читали
O
говорю ж, под каждого наследника у кейза предполагается функция, которая примет внутренности этого наследника. ну типа как
maybe :: b -> (a -> b) -> Maybe a -> b, either :: (a -> c) -> (b -> c) -> Either a b -> cVZ
Маркдауна не хватает конечно
L
Монада
O
эх ща б монаду
KF
Монада
O
думал сначала, что такие функции называются элиминаторами, но сказали, что элиминаторы с завтипами, а это рекурсоры
Св
монада это чтото типа хламидиоза ?
Lr
С тапка виднее
монада это чтото типа хламидиоза ?
Именно так