How would you (re)implement iterate in Haskell?...

Type-safely Implementing an Arbitrary Degree Blackbird Combinator (B-n Combinator)...

Y combinator discussion in "The Little Schemer"...

Python: Haskell-like . / $...

How can I extract the redundancy in this Factor word definition with dataflow combinators?...

Haskell map/zip Vs. list comprehension...

What are super combinators and constant applicative forms?...

Defining an alternative Psi combinator in Haskell...

Defining a stack data structure and its main operations in lambda calculus...

Haskell: Is there a simpler way to express the function (\f g x y -> f (g x) (g y))? Using Applic...

S combinator in Haskell...

Combining constraints?...

What does Haskell's Data.Function.on do?...

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

Combinatory method like tap, but able to return a different value?...

Explain this implementation of the Y combinator in Scala?...

Euler function of C(n, k)...

How does Data.MemoCombinators work?...

How C++ lambda move capture *this in rvalue reference member function?...

How to implement a fast type inference procedure for SKI combinators in Python?...

How to implement SKI combinators in Prolog?...

Point-free version of g(f(x)(y))...

foldr and foldl further explanations and examples...

How does foldr work?...

Expressing Y in term of SKI-Combinators in JavaScript...

how to write a foldr HOF in Haskell...

Conditionally Acting on Specific Error Using and_then in Rust...

Haskell: some and many...

Does SKS equal SKK?...

Short circuiting (&&) in Haskell...