EG
Там целых 6 рефкапов зато
iso ≈ T
val ≈ &T
ref ≈ &mut T
box ≈ &T
trn ≈ wtf
tag = ZST
iso ≈ T
val ≈ &T
ref ≈ &mut T
box ≈ &T
trn ≈ wtf
tag = ZST
Size: a a a
2021 February 27
EG
Как работают box и trn я пока не понял
EG
Кажется, trn гарантирует, что другие акторы это значение не могут трогать вообще, другие места в том же акторе не могут менять, а ты можешь делать что хочешь
EG
box гарантирует, что другие акторы не могут писать, и ты сам тоже не можешь писать, но может писать кто-то, кто держит trn в том же акторе
EG
Но так как актор обрабатывает только одно сообщение за раз, то ты можешь быть уверен, что box никто другой сейчас не трогает
EG
Короче, это то же самое что в расте, помноженное на локальность/глобальность относительно акторов
iso — owned
val/ref — &T/&mut T глобально
box/trn — &T/&mut T локально по актору
tag — нельзя делать ничего, кроме как сравнивать идентичность
iso — owned
val/ref — &T/&mut T глобально
box/trn — &T/&mut T локально по актору
tag — нельзя делать ничего, кроме как сравнивать идентичность
p
Там целых 6 рефкапов зато
iso ≈ T
val ≈ &T
ref ≈ &mut T
box ≈ &T
trn ≈ wtf
tag = ZST
iso ≈ T
val ≈ &T
ref ≈ &mut T
box ≈ &T
trn ≈ wtf
tag = ZST
Прям как Олег предлагал для кнорпеля делать
EG
Короче, это то же самое что в расте, помноженное на локальность/глобальность относительно акторов
iso — owned
val/ref — &T/&mut T глобально
box/trn — &T/&mut T локально по актору
tag — нельзя делать ничего, кроме как сравнивать идентичность
iso — owned
val/ref — &T/&mut T глобально
box/trn — &T/&mut T локально по актору
tag — нельзя делать ничего, кроме как сравнивать идентичность
Вау
И ещё, кажется, рефкапы умеют в циклические структуры данных
И ещё, кажется, рефкапы умеют в циклические структуры данных
EG
Правда, с GC это не так впечатляет, конечно
EG
actor Main
let env: Env
let foo: Array[String] val
new create(env': Env) =>
env = env'
foo = ["Hello"]
fun get_foo(): Array[String] iso =>
recover foo end
Всё, я снова ничего не понимаю. Как я получил owned-значение из ссылки?
KR
Ну я так понимаю оно просто скопировалось.
EG
Ну я так понимаю оно просто скопировалось.
Нет
EG
Я проверил —
get_foo() is foo, это один и тот же объектKR
А
foo не деструктнулся при этом?EG
А
foo не деструктнулся при этом?Нет, тогда бы он остался пустым
EG
Это было бы неинициализированным значением
EG
Кроме того, мув требует явно указать consume
EG
Судя по всему,
get_foo() возвращает Array[String] iso!, а не Array[String] isoKR
Э?
KR
факториал?)