В
Туда впихнули адскую сигнатуру
Task<T> -> T
при том что входящий таск может быть Faulted и ты дальше сам ябись!
Size: a a a
2021 April 23
AH
AH
ну эти руководствовались тем что на сишарпе только круды над БД можно делать (что недалеко от положения дел)
AH
поэтому крудо писатели сразу подхватят SQL Like синтаксис в коллекциях
IC
опять горишь?
IC
ты же на благословленном котлине
AH
Ну да, есть чутка. Взбомбануло от континуеВиз
AH
опять
AH
Надо уже забыть про него
IC
про C#/котлин/continuewith?
AH
ну да. В дотнете дефолт фшарп у меня, сишарпом не пользуюсь совсем
AH
но так как интеропиться с тасками приходиться постоянно, то про континуеВиз забыть сложнее чем про сишарп
IB
А где можно ознакомиться с этими строительными блоками?
AH
в определении функтора для начала, потом перейти на монаду. Там реально 2 притопа
join / bind / return и погнали джебошить сколь угодно сложное АПИ
join / bind / return и погнали джебошить сколь угодно сложное АПИ
AH
У меня даже где-то есть пример
MS
не нашел в избранном твоего примера :(
AH
Это если чо меня просто попросили показать пример (вот как ты сейчас)
https://gist.github.com/Szer/083415b1376d4309fb48bf806f6fb0cb
Я сделал кастомную монаду AsyncResult которая и асинк, и Ok/Fail одновременно.
определил bind :: a -> AsyncResult<b> -> AsyncResult<a> -> AsyncResult<b>
определил pure :: a -> AsyncResult<a>
пару хелперов чтобы из Async и Result создавать (необязательно для дальнейших действий)
и отсюда уже
и что угодно другое
https://gist.github.com/Szer/083415b1376d4309fb48bf806f6fb0cb
Я сделал кастомную монаду AsyncResult которая и асинк, и Ok/Fail одновременно.
определил bind :: a -> AsyncResult<b> -> AsyncResult<a> -> AsyncResult<b>
определил pure :: a -> AsyncResult<a>
пару хелперов чтобы из Async и Result создавать (необязательно для дальнейших действий)
и отсюда уже
zero :: AsyncResult<unit>
apply :: AsyncResult<a -> b> -> AsyncResult<a> -> AsyncResult<b>
map :: a -> b -> AsyncResult<a> -> AsyncResult<b>
product :: AsyncResult<a> -> AsyncResult<b> -> AsyncResult<a * b>
map2 :: a -> b -> c -> AsyncResult<a> -> AsyncResult<b> -> AsyncResult<c>
traverse :: a seq -> (a -> AsyncResult<b>) -> AsyncResult<b list>
parallel :: AsyncResult<a> seq -> AsyncResult<a list>
и что угодно другое
AH
пример снизу это код товарище, который спрашивал про теоретическую возможность, адаптированный под эту монаду