. Answers to this question are eligible for a +50 reputation bounty. Ol ...

Is there a way to express the following in point-free form: It is not a common 'combinator' as far as I can see, though there are perhaps different ...

Is the following statement equivalent? I know that foldr (+) 0 = fold (+) 0 is equivalent and for the operator (-) it's not, but how about the (++) ...

See below the C# code for a Combinator that zips together two inputs This code takes in two input streams of booleans and then fires a tuple whenev ...

I have an array of items. I want toggle their opacity or animate them. They're all objects in one div. I'd like to also change the opacity of the enti ...

I'm using the early ProjectEuler problems as a way to get to know Factor. Already in the very first problem I don't find a satisfactory solution. I c ...

How do I know what error happened when piping Results via and_then in Rust? For example using nested matches I could do this: use std::num::ParseIntE ...

Ultra-Hamiltonian cycling is defined to be a closed walk that visits every vertex exactly once, except for at most one vertex that visits more than on ...

Context I started teaching myself lambda calculus last night and I am trying to determine if what I understand so far is correct. Understanding SKK ...

I am trying to understand the pMany and pMany1 functions in the parser combinator As I understand, pMany runs the parser as many times as possible ...

Consider the following types and the following function Now consider the following application (in ts) of this function: Question: How can we ...

I've been following a Rust tutorial where two versions of a function are purported to generate the same results: Version 1: Version 2: Howeve ...

John Hughes in his "Generalising Monads to Arrows" writes (chapter 8): We formalise the property that first f depends only on first components of ...

We can define a recursive function, factorial as an example, by YCombinator as follows ;;; elisp ;;; This code works. Thanks to ;;; https://www.diego ...

I'm trying to grok the combinators, so I wrote the basic ones: K and S in Typescript: Then, I followed the Wikipedia article about SKI Boolean Logi ...

I used a combinator to calculate the average of a list of numbers... const myCombinator = f => g => h => x => f(g(x))(h(x)); I could the ...

I have some immutable set of sets. Each set-element is a set of Ints, these Ints are unique. For example, I have Set(Set(1,2,3),Set(4,5,6),Set(7)). I ...

I was tasked with showing that S(KK)I = K Now since S takes three arguments, I was simply stuck at the beginning not knowing how to tackle this. I ...

I have an 2D array like this. Are there anyway to find all the combination that meet the requirement below ? I want to find all the combination su ...

Note 1 : Here CPS stands for "continuation passing style" I would be very interested in understanding how to hook into C# async machinery. Basically ...