Oℕ
для освобождения ресурсов
Size: a a a
2021 October 31
Oℕ
либо для каких-то действий, которые должны быть выполнены вместе
СС
спасибо, а как пользовать для освобождения ресурсов? Я думал Resource покрывает все юзкейсы
Oℕ
Resource - это структура данных, которая позволяет комбинировать ресурсы через монадный АПИ, она не всегда облегчает написание ресурсных инициализаторов и закрывателей
Oℕ
наверное даже для инициализации ресурсов важнее, чем для освобождающего кода
СС
λ
Вовсе не обязательно для освобождения. И для захвата ресурсов тоже.
Uncancelable создает особый скоуп, в котором событие отмены игнорируется и откладывается до конца этого скоупа, либо до появления демаскированного скоупа, создаваемого с помощью poll.
Uncancelable создает особый скоуп, в котором событие отмены игнорируется и откладывается до конца этого скоупа, либо до появления демаскированного скоупа, создаваемого с помощью poll.
Oℕ
ну там имелось в виду "например", а не "обязательно для"
SA
Когда работаем с мутабельным внешним стейтом и неожиданный cancel может оставить его в неконсистентном состоянии
Oℕ
человек же случаи попросил
Oℕ
так и не понял, почему анмаск назвали поллом в ке3
λ
Вроде я читал мотивацию. Слово анмаск ложно отражало свойста композиции поллов
λ
Можно открыть много вложенных анкенсалабл скоупов и комбинировать поллы
λ
В общем, об этом точно где-то написано. Возможно, в одном из PRов, где это добавлялось в се3
λ
λ
poll из хаскеля притащили
2021 November 01
ЭИ
Привет
Подступаюсь к ФП языкам через теорию
Есть у кого материал, объясняющий что такое неподвижная точка и ее комбинатор?
Подступаюсь к ФП языкам через теорию
Есть у кого материал, объясняющий что такое неподвижная точка и ее комбинатор?
MK
Мне кажется выбранное направление - заведомо неудачное.
Лучше книжки типа Functional programming in Scala/Learn Haskell for the greater good
Лучше книжки типа Functional programming in Scala/Learn Haskell for the greater good
ЭИ
Не знаю
Мне кажется сначала стоит разобраться с тем, что вообще происходит и чем это лучше императивного стиля, а потом уже кодить садиться
Мне кажется сначала стоит разобраться с тем, что вообще происходит и чем это лучше императивного стиля, а потом уже кодить садиться