python (65.2k questions)

javascript (44.3k questions)

reactjs (22.7k questions)

java (20.8k questions)

c# (17.4k questions)

html (16.3k questions)

r (13.7k questions)

android (13k questions)

Questions - function-composition

Why does Idris 2 fail to resolve constraints with function composition in this trivial example?

I have encountered a problem with some code I am trying to write in Idris 2. I would like to resolve this issue, but more importantly, I wish to understand it more deeply and develop some skills in di...
test-img

label17

typechecking

idris

function-composition

Votes: 0

Answers: 1

Latest Answer

Let look at the types involved Prelude.. : (b -> c ) -> (a -> b ) -> a -> c f : D n -> String d : (n : Nat) -> D n The problem...
test-img

michaelmesser

How to implement function composition in JavaScript?

Below are three functions that need to be composed and give us the output 30: const add = (a) => a + 10; const mul = (a) => a * 10; const divide = (a) => a / 5; // How to implement `composi...
test-img

Sandipan Bhattacharjee

javascript

functional-programming

function-composition

Votes: 0

Answers: 4

Latest Answer

There are two flavours of function composition: left-to-right function composition aka pipe right-to-left function composition aka compose Here's a recursive implementation just for fun: This assume...
test-img

customcommander

What would a compose method in the BiFunction interface look like?

The Function interface has the compose() and andThen() methods while the BiFunction interface only has the andThen() method. My question is simply how could the corresponding method be implemented? I'...
test-img

PianoMastR64

java

function

functional-interface

function-composition

Votes: 0

Answers: 1

Latest Answer

The Function's Compose() and andThen() methods are straightforward since a Function has one input and one output and therefore can only be strung sequentially with another in two ways. Since a BiFunct...
test-img

PianoMastR64

About Function composition order of execution in Haskell

I have some trouble understanding this example: data Row = R [Int] deriving Show data Matrix = M [Row] deriving Show check :: Matrix -> Int -> Bool check (M matrix) n = foldr ((&&am...
test-img

Johnny

haskell

function-composition

Votes: 0

Answers: 2

Latest Answer

First of all, let us remember what foldr does: It takes a function f, a list xn = [x1, x2, ..., xn] and a starting value s and generates the expression f x1 (f x2 (... (f xn s) ...)) or equivalently ...
test-img

Markus Mayr

Posts

Questions

Blogs

Jobs