FL
И на кой чёрт такое в чате?
foldr ничего не выполняет. она берёт данные с начала и применяет с начала, углубляясь рекурсивно во второй аргумент до конца.
напишите определение foldr сами (или найдите готовое и прочитайте)
Size: a a a
2021 October 22
R
Наглядно продемонстрировать что-то, например
JS
я запускаю repl у себя на компьютере и копирую текст. это очень легко
JS
кроме случаев, когда ты в дороге. но в таких случаях можно и подождать
FL
Ну разверни бота и контейнер с ghc, раз уж так хочется
D
фигасе, жаль раньше про этот пакет не знал
Д
то есть функция в итоге выполнится сначала на конце
JS
а это зависит от функции, как она выполнится
JS
строга ли она по второму аргументу
Д
вы о том, что foldr const просто вернет первый элемент?
JS
да, const — совсем примитивный случай
JS
а вот другая ленивая по второму аргументу функция — это из примера выше (:)
JS
foldr (:) будет собирать новый список слева направоД
каким образом она может быть ленивой по второму аргументу, если второй аргумент там используется
JS
(:) не заглядывает во второй аргумент. она как берёт ссылку, так и передаёт дальше
JS
да и в первый
JS
собственно, так делают все конструкторы (по умолчанию)
Д
так выполняться же все равно с конца в итоге будет, разве нет? он же правоассоциативен
DS
Факторизация числа (извиняюсь, что пример не на Haskell)