Search code examples
Can I write a dependent left fold in terms of a dependent right fold?...


haskellfoldagdadependent-type

Read More
Processing a collection taking two adjacent elements at a time (use of stream)...


javalistjava-streamfold

Read More
Implement insert in haskell with foldr...


listhaskellinsertlambdafold

Read More
Retrieve value out of "cascading ifs" fold expression...


c++c++17foldfold-expression

Read More
Can iterate be written with a fold?...


haskellfunctional-programmingiterationlazy-evaluationfold

Read More
substitution in proofs with recursive formulas...


haskellfoldproof

Read More
One way to construct graph adjacency list based on adjacency pairs similar to `fold` in MIT Scheme...


graphschemefoldmit-scheme

Read More
Explanation of lists:fold function...


recursionfunctional-programmingerlangtail-recursionfold

Read More
how do I reenable folding arrows in the ruler...


visual-studio-codefold

Read More
How to apply a list of functions sequentially to a string using Python reduce or list comprehension?...


pythonlist-comprehensionreducefoldfunctools

Read More
error: cannot convert 'std::optional<int>' to 'const int' in initialization...


c++foldstd-rangesc++23stdoptional

Read More
foldM with monad State does not type check...


haskellfold

Read More
javascript fold reduce functional programming...


javascriptfunctional-programmingfold

Read More
Haskell foldr1 lambda function which adds tuple values...


listhaskellfunctional-programmingtuplesfold

Read More
C++17 Variadic Template Folding...


c++c++17variadic-templatesfoldfold-expression

Read More
foldl is tail recursive, so how come foldr runs faster than foldl?...


optimizationhaskelltail-recursioncombinatorsfold

Read More
How to fold on x elements of list per fold...


ocamlfoldfoldleft

Read More
Haskell - compute frequencies of elements in a list...


dictionaryhaskellcounterfrequencyfold

Read More
Dart/Flutter: Method 'foldIndexed' isn't defined for the type 'List'...


listflutterdartfold

Read More
Is foldl or foldr more efficient for intercalating list elements?...


haskellfold

Read More
Idiomatic Kotlin Value Mapping...


kotlindictionaryrecursionfold

Read More
Building a string using fold, and would like to speed it up by assigning the correct capacity...


rustfoldpre-allocation

Read More
Weird function on trees Ocaml...


algorithmtreefunctional-programmingocamlfold

Read More
Folding a list in OCaml...


recursionocamlfold

Read More
Extracting, manipulating and accumulating values within a list of monads in Haskell...


haskellfunctional-programmingmonadsfoldstate-monad

Read More
Return a list of tuples inside a rectangular range...


ocamlfold

Read More
Haskell foldr function in instance Foldable...


haskellfold

Read More
Variadic template variable parameter pack expansion in recursive variable definition has incorrect s...


templatesvariablesvariadic-templatesfold

Read More
Issue with reduce() in Rust for summing square perimeters, fold() works...


rustreducefold

Read More
Kotlin: Returning an object from a fold closure...


kotlinfold

Read More
BackNext