Телеграмм чат группы Fsharp

Vladimir Shchur

второй континьювиз слишком рано выполнится

Почему?

01:36пожаловаться #1

Там как раз все шито: колбек первой таски означает, что она закончилась, а дальше решает функция binder что будет следующей таской и после ее завершения будет второй континиувиз.

01:37пожаловаться #2

он выполнится сразу после окончания первого не дожидаясь таска от функции

01:37пожаловаться #3

не, мне кажется нужен анврап

01:38пожаловаться #4

https://docs.microsoft.com/en-us/dotnet/api/system.threading.tasks.taskextensions.unwrap?view=netcore-3.1#System_Threading_Tasks_TaskExtensions_Unwrap_System_Threading_Tasks_Task_System_Threading_Tasks_Task__

Docs

TaskExtensions.Unwrap Method (System.Threading.Tasks)

Creates a proxy Task that represents the asynchronous operation of a TryExecuteTaskInline(Task, Boolean).

01:39пожаловаться #5

прямо в доке пример аналогичный

01:39пожаловаться #6

Vladimir Shchur

он выполнится сразу после окончания первого не дожидаясь таска от функции

То есть, по твоей логике второй колбек выполнится когда таска после биндера ещё не закончилась?

01:39пожаловаться #7

да

01:39пожаловаться #8

Это разве не ломает инвариант таски, что колбек всегда вызывается после?

01:40пожаловаться #9

таск континьювиза комплитится сразу после отработки его коллбэка

01:41пожаловаться #10

а то и параллельно с ним, хз

01:41пожаловаться #11

поэтому второй слишком рано вызовется

01:41пожаловаться #12

Это прям проверить надо!

01:42пожаловаться #13

Ну или исходники Unwrap посмотреть.

01:43пожаловаться #14

Ayrat Hudaygulov in F# Chat

Vladimir Shchur

таск континьювиза комплитится сразу после отработки его коллбэка

Это звучит невероятно

01:55пожаловаться #15

125 строка, метод Unwrap, то ли у меня уже голова не варит, то ли принципиальной разницы и правда нет. Там код чисто эксепшинами озабочен и канцеляцией.

01:57пожаловаться #16