Вот у меня две функции возвращают две таких итерируемых штуки, мне нужно их zip map sum

И хотелось бы это всё за O(1) memory

вполне здравое желание вернуть итератор. impl Trait реализует статический диспатч.

И здорово было бы если бы ещё и за бесплатно

вполне здравое желание вернуть итератор. impl Trait реализует статический диспатч.

а impl Trait в 1.18 стабилен?

помоему нет

яс

а какая бойлерплейтная альтернатива impl Trait? Сделать свой struct и для него аналогично реализовать Iterator?

да

В стандартном итераторе мап, фильтр и всякие такие методы так реализованы: https://doc.rust-lang.org/src/core/iter/mod.rs.html#1081-1084

ну про стандартные я понимаю

Тип у этого итератора, учитывая лямбды я никогда не запишу, но хочу вернуть, удостоверившись, что этот тип действительно реализует Iterator<T>

а можно для тупых, что значит "не запишу учитывая лямбды"?

а можно для тупых, что значит "не запишу учитывая лямбды"?

а в расте каждое объявленное замыкание имеет свой собственный тип, который знает компилятор, а ты - нет

т.е. функции и замыкания - это две разных вселенных, и вторые могут замыкаться на локальные переменные, но ты о них максимум знаешь имплементацию Fn ов, но не точный тип

грусть

нуу zero cost

зато он статически диспатчит

это конечно плюс, но не всегда нужный, имхо

в расте не ставится под сомнение необходимость zero cost

есть rfc чтобы лямбды без замыканий нормально можно было статически диспатчить тоже. unboxed closured называется

есть rfc чтобы лямбды без замыканий нормально можно было статически диспатчить тоже. unboxed closured называется

а можно ссылку?

https://github.com/rust-lang/rust/issues/18101 ?

https://en.wikipedia.org/wiki/Anonymous_recursion

https://github.com/rust-lang/rfcs/blob/master/text/0114-closures.md это если верить реддиту

интересно уже второй человек хочет вызвать лябмду саму из себя. Расскажи, на чем ты обычно программируешь?

js

интересно как это работает

а она замыкается типо сама на себя?

интересно как это работает

динамический байндинг всего

А в c разве есть лямбды?

в расте тоже можно сделать через указатели на функции

var f = function (fi) {fi(fi)}(fi); ?

интересно как это работает

free variable динамически замыкаются на окружающий env, где лямбда присвоена какой-то переменной

понял

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

Пиши fn внутри fn

ща попробую в расте так сделать

ща попробую в расте так сделать

он скажет, что нет такой переменной

но я ее определю раньше

но я ее определю раньше

ну короче мне так и сказали, что через боксинг можно

ещё раз кину ссылку на свои приключения

https://stackoverflow.com/questions/42174338/write-fix-point-function-in-rust

Вот это треш )

https://stackoverflow.com/questions/42174338/write-fix-point-function-in-rust

фига лонг рид)

короче, да, мне предложили решение с Box<FnBox>

если есть хотя бы один уровень боксинга - это нормально

т.е. нужен какой-то динамический диспатч, хоть где-то, хоть немного

Остается только вопрос, нахуй это надо?

Делать странные кложуры

Циклом можно вычислять фибоначчи, зачем такой изврат?

тем более в том же цикле можно положить значения в вектор, и вернуть этот вектор )

Хммм, я такую аргументацию постоянно вижу в Go сообществе <_<

"Тебе это не нужно"

Делать странные кложуры

Думаю, это тяжёлый переход с привычной нам функциональщины на ваше это железячное без гарбейдж коллектора, где регистры под ногтями застревают

Хммм, я такую аргументацию постоянно вижу в Go сообществе <_<

такой аргумент ты и шарповском сообществе увидешь

эх :( и я там был

Нужны более реальные задачи, я так думаю.

Нужны более реальные задачи, я так думаю.

Написать интернет магазин на русте <_<

ну я как-то видел CMS на C++

ей можно пугать перед сном плохих программистов

Написать интернет магазин на русте <_<

Растоман пишет кмс на расте, если что ) Могу позвать

ну если у тебя твоя рекурсия уже превращена в корекурсию, её можно хоть чем свернуть

ну я как-то видел CMS на C++

на асме еще есть )

вопрос, как превратить так, чтобы свернуть можно было

https://board.asm32.info/

Растоман пишет кмс на расте, если что ) Могу позвать

Ты на расте CMS пилишь?

Ты на расте CMS пилишь?

Нет. Александр Ирбис что-то такое пилит

ну если у тебя твоя рекурсия уже превращена в корекурсию, её можно хоть чем свернуть

Видел(и переписывал) CRM на VB6.0

только корректность цикла надо через инварианты доказывать (в формальном варианте), а с хвостовой и так все вытекает из самого себя в общем второе для надежности лучше и для ревьювера

ну вот мы и выясняем сейчас

нет, это просто рекурсивный тип

корекурсия - это способ записать вычисления, где из предыдущего (структурно меньшего) состояния определяется следующее (структурно эквивалентное или большее)

в отличие от рекурсии, где структурно большее записывается через ссылку на структурно меньшее

Нет. Александр Ирбис что-то такое пилит

Судя по репе, у него только шаблонизатор https://github.com/alexander-irbis/incrust

если говорить о типах, то рекурсия это когда List a = Nil | (a, List a) а корекурсия - это когда ListF a x = Nil | (a, X)

первое можно получить из второго, например каким-нибудь List a = Fix (ListF a)

соответственно вот это - корекурсивное определение

ты мог бы не схлопывать его сразу, в пробежаться циклом

или делать по одному действию за раз

может даже асинхронно