M
Ну и у меня больше про бизнес ошибки
Size: a a a
2020 May 07
M
В командах и квери
IC
Можно вообще вокруг реквеста накрутить вариантов на сколько угодно вариантов. Хотя на каждый код ответа.
A
я тут не вижу монаду, т.к. не могу придумать операции над типами, котоыре монада в себе держит
я тебе весь домен должен рассказать? :)
AH
я тебе весь домен должен рассказать? :)
нет, но чот на монаду тут надо будет натягивать
A
нет, но чот на монаду тут надо будет натягивать
если ок, мы делаем нашу бизнес-магию
если 401, мы говорим "иди перелогинься"
если всё остальное - пока не ясно
если 401, мы говорим "иди перелогинься"
если всё остальное - пока не ясно
P
Зачем монады в мультипарадигменном программировании?
A
Зачем монады в мультипарадигменном программировании?
out of scope
AH
если ок, мы делаем нашу бизнес-магию
если 401, мы говорим "иди перелогинься"
если всё остальное - пока не ясно
если 401, мы говорим "иди перелогинься"
если всё остальное - пока не ясно
но это же не монада!
A
но это же не монада!
ок, а что это?
IC
Паттерн матчинг?🤔
AH
монада это ж моноид в категории блаблабла
а моноид подразумевает бинарные замкнутые операции над типом!
а моноид подразумевает бинарные замкнутые операции над типом!
A
монада это ж моноид в категории блаблабла
а моноид подразумевает бинарные замкнутые операции над типом!
а моноид подразумевает бинарные замкнутые операции над типом!
ок, вычёркиваем слово "монада" из моего сообщения выше.
P
A
хочу прикрутить DU для Result
AH
ну вот если ты сможешь придумать
pure: T -> Result
flatmap: Result.Ok -> Result
то у тебя монада
pure: T -> Result
flatmap: Result.Ok -> Result
то у тебя монада
AH
(ну почти, там ещё пара законов)
A
ну вот если ты сможешь придумать
pure: T -> Result
flatmap: Result.Ok -> Result
то у тебя монада
pure: T -> Result
flatmap: Result.Ok -> Result
то у тебя монада
ну так выше и придумал
AH
ну так выше и придумал
ткни носом
SN
как благородные доны предлагают это в C# изобразить?
у тебя (2) - это частный случай (3)