AN
Ааа я понял сам стейт футуры селф референтный потому что там хранятся все локальные переменные. А они могу ссылаться друг на друга.
Size: a a a
2021 April 29
KR
Ну да, похоже
KR
Йэп 👍
AN
Спасибо.
AN
Ноо... Если сделать сам стейт *mut, то переменные все ещё останутся &mut. А так нельзя походу....?
AN
> the overlapping bounds of the interior references
Дошел смысл этой фразы.
Дошел смысл этой фразы.
AN
Понял что такое интериор референс
DS
Ну только как обычно функторы сильнее и всё такое.
2021 April 30
KR
Кстати, для эмуляции rank-N в стэйбле, что тебе кажется более преспективным: type families или plug+unplug?
DS
Мы наверное имел в виду HKT, а не rank n
KR
Да, но разве hkt без rank n возможен?
AN
Но каким образом это можно скормить ллвм не понятно. Надо разбираться с тем как работает noalias. Т.е может ли быть итерация генератора одна функция куда подаются все переменные и все ссылочные переменные как noalias? Или как вообще в noalias возможно учесть сайд эффекты?
DS
Спокойно
AN
Если я делаю split_at_mut то такая же проблема оО
DS
См хаскель, где rank n отдельно включается
DS
Rank n - это про растоновку forall
KR
Значит я неправильно понял rank-n, проехали.
KR
Я имел в виду просто возможность выражать forall
KR
Это просто rank-2 тогда? 🙃
KR
В split_at_mut overlapping нет