похоже ты прав

надо подумать

вопрос на миллион

как в карго изменить тулчейн

Значит можно было бы замутить do нотацию для футур. Но для итераторов по-прежнему импосибл

как в карго изменить тулчейн

т.е. ни override ни default, ни чистка из хоума на это не повлияли. Неделю назад rustup работал, а сейчас ub

как в карго изменить тулчейн

target-секция в карго конфиге

т.е. ни override ни default, ни чистка из хоума на это не повлияли. Неделю назад rustup работал, а сейчас ub

--target=wasm32-unknown-unknown ещё (или какой там у тебя)

т.е. ни override ни default, ни чистка из хоума на это не повлияли. Неделю назад rustup работал, а сейчас ub

Тебе надо глобально тулчейн поменять? — через rustup

Значит можно было бы замутить do нотацию для футур. Но для итераторов по-прежнему импосибл

А чего для итераторов импосибл? Чем impl Iterator не подходит?

А чего для итераторов импосибл? Чем impl Iterator не подходит?

Неэффективно наверное. Сейчас flat_map возвращает FlatMap<>, конкретный тип

Неэффективно наверное. Сейчас flat_map возвращает FlatMap<>, конкретный тип

Ну так с футурами та же история

Этот конкретный тип точно также является impl Iterator

Ну то есть компилятору нужно просто вывести конкретный тип итератора глядя на все map-ы и flat_map-ы и понять, сколько нужно памяти, тайпчекнуть борровинг и создать нужный конечный автомат, который и будет impl Iterator. Выглядит достаточно сложно.

--target=wasm32-unknown-unknown ещё (или какой там у тебя)

что

как можно вернуть статик ссылку на созданный объект?

Бокс

(ответ на удалённое) Мне не очень помогли твои слова

Ну то есть компилятору нужно просто вывести конкретный тип итератора глядя на все map-ы и flat_map-ы и понять, сколько нужно памяти, тайпчекнуть борровинг и создать нужный конечный автомат, который и будет impl Iterator. Выглядит достаточно сложно.

Так и работает impl Trait. Тип известен компилятору, просто для юзера это нечто реализующее трейт

что

(в ответ на удалённое) 1. раст/карго из пакетного менджера, карго/раст — нет 2. так пробовал

?

Так и работает impl Trait. Тип известен компилятору, просто для юзера это нечто реализующее трейт

Я понимаю. Просто это выглядит достаточно сложно (и для компилятора, и для писателей его), поэтому в flat_map возвращает просто FlatMap (и другие операции тоже конкретные структуры). Возможно, обобщить это до impl Iterator достаточно трудно.

Я понимаю. Просто это выглядит достаточно сложно (и для компилятора, и для писателей его), поэтому в flat_map возвращает просто FlatMap (и другие операции тоже конкретные структуры). Возможно, обобщить это до impl Iterator достаточно трудно.

Они возвращают конкретный флет мап, просто потому что писались когда не было импл трейтов

Они возвращают конкретный флет мап, просто потому что писались когда не было импл трейтов

Считаешь сейчас бы сделали полностью на impl-ах и мы бы увидели do-нотацию в Расте? Эта идея ещё может быть отвергнута из-за очень неторопливой компиляции impl-ов.

Считаешь сейчас бы сделали полностью на impl-ах и мы бы увидели do-нотацию в Расте? Эта идея ещё может быть отвергнута из-за очень неторопливой компиляции impl-ов.

Не знаю что такое Ду нотация. Ещё одна проблема это то, что итератор это trait и импл в трейтах пока не возможен

https://github.com/hntd187/Toshi

https://github.com/chinedufn/percy

https://github.com/hntd187/Toshi

classic

https://github.com/hntd187/Toshi

Крутая идея, а то сфинкс сдох, а еластик память жрёт

Жаль только сдохнет скорее всего

Жаль только сдохнет скорее всего

не факт. тантиви не сдох же

Крутая идея, а то сфинкс сдох, а еластик память жрёт

Добавить памяти будет проще

Добавить памяти будет проще

Ну у него и другие проблемы есть. Там кластер развалиться может, данные проебутся и тд и тп

Ну у него и другие проблемы есть. Там кластер развалиться может, данные проебутся и тд и тп

А то этих же проблем у Toshi не будет

не факт. тантиви не сдох же

Все таки скоп задач разный. Ну было бы хорошо если бы допилили и был бы конкурент еластику

А то этих же проблем у Toshi не будет

Ну кто знает, может там чувак шарит

Крутая идея, а то сфинкс сдох, а еластик память жрёт

Так прямой аналог сфинкса - Solr же, а не эластик?

Так прямой аналог сфинкса - Solr же, а не эластик?

Ну вообще я не знаю, только еластиком пользовался

Но как в Haskell кучу памяти сэкономить я придумал, а что в Rust со стеком делать - нет. 😞

Ты там на енамах херачишь?

Ты там на енамах херачишь?

Конечно. И там, и там. ADT.

Конечно. И там, и там. ADT.

Бокси данные?

Бокси данные?

Да.

Не помогло?)

Может, уже ссылку на репу скинуть? 😊

Ну вообще с этого надо начинать 😁

Не помогло?)

В смысле "компилируется и запускается" - помогло. В смысле "не переполняет стек и обгоняет Haskell" - нет. 😃

https://github.com/gabriel-fallen/rusty-krivine

Я кстати не уверен что рекурсивные енамы хаскелля на стеке аллоцируются

Я кстати не уверен что рекурсивные енамы хаскелля на стеке аллоцируются

Haskell всё в куче аллоцирует, конечно.

Бокс

тогда это утечка, не?

тогда это утечка, не?

Почему?

потому что 'static ссылку нельзя удалить

https://github.com/gabriel-fallen/rusty-krivine

1. Компилируешь с --release я надеюсь? 2. Судя по тому что я вижу это на бенчмарк аллокатора похоже. Попробуй возьми slab (https://crates.io/crates/slab) и аллоцируй термы там.

или я чего-то не понимаю

Бокс - это Хип, Хип - это статик. Вообще любой тип по значению -> статик лайфтайм

если хип статик

как деаллоцировать?

drop(box)

просто для меня, два способа получить статическую переменную: 1. реф на const 2. lazy_static

как из бокса получать статик ссылку яхз

есть Box::leak

но он как бы и подразумевает, что это утечка

1. Компилируешь с --release я надеюсь? 2. Судя по тому что я вижу это на бенчмарк аллокатора похоже. Попробуй возьми slab (https://crates.io/crates/slab) и аллоцируй термы там.

1. Само собой! 😊 2. Спасибо, попробую. Но меня больше stack overfow из-за глубины рекурсии беспокоит. Подумал, можно eval_aux переписать в CPS и уменьшить рекурсию (хотя бы частично), но насколько разумно в Rust создавать огромную башню замыканий для продолжения?

причем я так и не понимаю, что аткое лайтфайм-ограничение на трейт

это же параметр ПЕРЕМЕННОЙ, Как он может относитсья к трейту?

у структур-о он используется чтобы пониматЬ, сколько вермени живет поле этой стркутуры

но у трейтов не может быть полей

но он как бы и подразумевает, что это утечка

там статик немного другое значение имеет

это просто означает что в объекте нет заимствований

просто для меня, два способа получить статическую переменную: 1. реф на const 2. lazy_static

Не путай статическую переменную и лайфтайм статик

вот что означает Foo : Clone + 'static?

Ссылку и не надо получать - нужно просто нечто с лайфтаймом (это не обязательно ссылка)

Не путай статическую переменную и лайфтайм статик

лайфтайм статик - это ссылка на статическую переменную

если я не прав, то мне нужно подробное объяснение ибо я всегда так считал

это просто означает что в объекте нет заимствований

this

если я не прав, то мне нужно подробное объяснение ибо я всегда так считал

Любой овнед объект - имеет статик время жизни. Так как он не привязан ни к какому скопу

Ты его можешь протолкнуть куда угодно и он останется валидным

this

Либо есть но оно с статическим вж

что такое овнед-объект?