p
А всё потому что я путаюсь в порядке аргументов у фолда и в разновидностях фолдов >_>
А это смайлик или оператор?
Size: a a a
2020 October 29
.
Настолько ненавидят, что даже есть отдельный пакет recursion-schemes, но это конечно только для самых хардкорных хейтеров
Когда тебе надо протаскивать аргументы через рекурсию, прерывать ее по какому-нибудь предикату и быть уверенным в том, когда и что вычисляется, то recursion-schemes превращаются в зигохистоморфные препроморфизмы.
Куда проще и понятнее написать рекурсию вручную.
Куда проще и понятнее написать рекурсию вручную.
IK
А это смайлик или оператор?
Good one
і
Отдельная функция, которую приходится записывать на toplevel
так-то в where можно отправить, но сделать ее безымянной, да не получится.
AV
Но можно не делать такую функцию
KV
Когда тебе надо протаскивать аргументы через рекурсию, прерывать ее по какому-нибудь предикату и быть уверенным в том, когда и что вычисляется, то recursion-schemes превращаются в зигохистоморфные препроморфизмы.
Куда проще и понятнее написать рекурсию вручную.
Куда проще и понятнее написать рекурсию вручную.
Ну можно написать комбинатор один раз, который сам уже не рекурсивно вызывается. А не городить на каждое определение
.
Ну можно написать комбинатор один раз, который сам уже не рекурсивно вызывается. А не городить на каждое определение
Такое работает только для самых простых вариантов.
forever, fmap, sequence и подобных.і
Но можно не делать такую функцию
Можно, но все предложенные решения какие-то больно длиииинными.
VD
А это смайлик или оператор?
Вообще смайлик, но идея для оператора интересная.
VD
Я подобный
.>. и .<. у себя дефайнил как синоним к Data.Bits.shiftL и shiftR. Странно, что их не было, хотя всякие .&. были.KV
Такое работает только для самых простых вариантов.
forever, fmap, sequence и подобных.Да ладно
AV
И
forever вроде бы течет. Я не уверен.Раз в 2 версии ломают в разные стороны
AV
в итоге я пишу fix $ \loop -> ... loop ... получаю 1 лишнюю аллокацию, зато всё работает
JS
Я подобный
.>. и .<. у себя дефайнил как синоним к Data.Bits.shiftL и shiftR. Странно, что их не было, хотя всякие .&. были.потому что цепочки из них не нужно собирать
JS
Раз в 2 версии ломают в разные стороны
в какую вторую сторону можно сломать?
VD
потому что цепочки из них не нужно собирать
Я хотел как в сишечке
low .<. 8 .&. low'. Сделал себе операторы и прям хорошо стало. Про цепочки не понял.KV
Я хотел как в сишечке
low .<. 8 .&. low'. Сделал себе операторы и прям хорошо стало. Про цепочки не понял.Представляю, как кто-то это читает и гадает, как же поставить скобочки