Помочь Акуле?)
Ой, спасибо, я как раз читаю книгу о формальном фундаменте асинхронных вычислений!
Покажешь нам?
Идея в том, что логик Гедель вел работу над Classical-Intuitionistic Embedding, а потом Рейнольдс уже в кампуктар саенс открыл Continuation-Passing Style, который лежит в основе современных асинхронных вычислений https://www.google.com/url?sa=t&source=web&rct=j&url=https://homepages.inf.ed.ac.uk/wadler/papers/papers-we-love/reynolds-discoveries.pdf&ved=2ahUKEwi3zcSAxZzyAhUMvosKHUCMC1cQFnoECAQQAQ&usg=AOvVaw1Wf8D8linRiinyghk8u_05
Благодарю, мистер ^^
Обсуждают сегодня