EG
Всё, я впёр как работает повышение capabilities в recover
Size: a a a
2021 February 27
EG
Ты не можешь утечь из recover-блока никакие ссылки, и на выходе возвращаешь только одну ссылку
EG
И поэтому эту одну ссылку можно сделать owned, потому что все остальные ссылки исчезнут в конце скоупа
EG
То есть у тебя хитрый блок, в котором ты можешь иметь несколько ссылок, но так как вытащить из него можно только одну, то она может быть какой угодно, в частности владеющей
EG
И благодаря этому же можно создавать иммутабельные Send циклические структуры пошагово
Внутри recover-блока ссылка мутабельная, а на выходе ты её конвертишь в иммутабельную и больше мутабельных ссылок нет
Внутри recover-блока ссылка мутабельная, а на выходе ты её конвертишь в иммутабельную и больше мутабельных ссылок нет
EG
Красиво
EG
> If you are reading this tutorial in order, you’ve just finished the reference capabilities chapter and your brain probably hurts. We’re sorry about that. Hopefully object capabilities, while a new concept, are less mind bending.
Я уж блять надеюсь
Я уж блять надеюсь
KR
🙃
s
То есть у тебя хитрый блок, в котором ты можешь иметь несколько ссылок, но так как вытащить из него можно только одну, то она может быть какой угодно, в частности владеющей
Cow<T>?
EG
Cow<T>?
Ну мб можно эмулировать
ΑZ
Cow<T>?
по-моему там скорее циклические ссылки в регионе, судя по объяснению
EG
по-моему там скорее циклические ссылки в регионе, судя по объяснению
Гарантируется, что не существует никаких ссылок снаружи региона внутрь региона
EG
Что позволяет на выходе апгрейдить ссылку до более мощных гарантий
EG
Ну я так примерно и подозревал. Но, имхо, этого не достаточно. Контр-пример сейчас не соображу 🤷♂️
Во-первых, можно забить все треды акторами
actor Runner
be apply() => while true do end
actor Main
new create() =>
for n in Range(0, 128) do Runner() end
EG
Этот код подвесит программу
EG
Это не дедлок в прямом смысле слова, но
EG
Pony не расставляет yield points внутри функции. Гранулярность асинхронности — обработка одного сообщения
KR
Там есть что-то типа актиксового
сtx.wait(ctx.spawn(future))?KR
Ну или можно отправить сообщение самому себе и дожидаться его ответа?
EG
Там есть что-то типа актиксового
сtx.wait(ctx.spawn(future))?ХЗ
Вызов behavior (метод, объявленный через be) возвращает мгновенно и ставит обработку сообщения в очередь
Вызов behavior (метод, объявленный через be) возвращает мгновенно и ставит обработку сообщения в очередь