The easiest problem you cannot solve.

Given the following code:

const K = a => b => a
const cat = 'cat'
const dog = 'dog'

Calling K like this will output cat

K(cat)(dog)
//=> "cat"

How can you call K to output dog without swapping the order of cat and dog?

cat and dog must appear exactly once.

The Given cannot be modified.

// INVALID: Cannot swap order!
K(dog)(cat)

// NO CHEATING: May only appear once.
K.bind(null, dog)(cat)(dog)

I know of two ways to solve this problem. Surprise me with another!

I should have also specified no bind, call, or apply, but the solutions are just too interesting :)

Hints: K in the problem is the K combinator, part of the SKI combinator calculus.

Spoilers are in the comments! BEWARE!

Many great solutions have been posted below! A lot I never considered. Also some very creative loopholes around the rules I created ;)

Here's one solution that went undiscovered. It's base64 encoded to hide the "spoiler". But if you are curious you can decode it using your console's atob function.

Syh4PT54KShjYXQpKGRvZyk=

Comments

[Jon]

Well, I looked up SKI combinators. If I am understanding it correctly, and if I've implemented S correctly here...I think the following would work:

const S = x => y => z => x(z)(y(z));
S(K)(K(cat))(dog); 

I am going to have to add "Learn SKI Combinators" to my list of things to do. :D

[JavaScript Joel]

After you research SKI Combinators, look into Church Encoding.

JavaScript Joel 🍻

@joelnet

Church Numerals use functions to represent numbers.
ie: `one = f => x => f (x)` and `two = f => x => f (f (x))`

Math can also be simulated with only functions and without + - / * operators.

#javascript #es6 #functional

22:45 PM - 01 Aug 2019

100 332

[Jochem Stoel]

Hey Joel, I enjoy your articles and I think you deliver a good contribution overall to this website but I would like to see you use better use cases in your examples than cats and dogs meowing. Not for me but for others less experienced. :)

[JavaScript Joel]

But cats and dogs are the best ;)

[JavaScript Joel]

Exactly! That is definitely the I combinator. It works beautifuly with the K combinator in the problem to solve this problem.

Two parts of SKI combinator calculus!

[JavaScript Joel]

eval(K.toString().replace('b', 'a'))(cat)(dog)

This one is pretty creative. Modifying the original K function to swap a and b. I like it.

[Ian Laird]

I didn't see this one in the comments

K(cat && dog)();
K()(cat)||dog;

And arrays are fun

K.call(null, [cat, dog].reverse()[0])();
K.apply(null, [cat, dog].reverse())();
K([ ...cat, ...dog].slice(3).join(""))();

Technically i think this follows the rules.

K({ cat: dog })()

And if the does then this should work too

K(`${cat} ${dog}`)()

[JavaScript Joel]

Beautiful!

[metalbrain28]

Well...

K((function *() { yield(arguments); }))(cat)(dog).next().value[0];

[JavaScript Joel]

Generators and iterators. quite a unique solution. I love it!

[kip]

> K.call(null, (cat, dog))()
'dog'

> K.apply(null, [cat, dog].reverse())()
'dog'

> (cat, K(dog))()
'dog'

> K(((...args) => args[1])(cat, dog))()
'dog'

[JavaScript Joel]

So many unique solutions. Fantastic!

[Lajos Koszti]

K(cat && dog)()

?

[JavaScript Joel]

Technically within the rules and as valid as any other solution!

[Md Abu Taher]

Brilliant.

[Rong Sen Ng]

Do you really need the second dog since you already .bind?

[JavaScript Joel]

Maybe I do not understand, what is the second dog?

[Zhou Qi]

Comma operator:

K((cat, dog))()

[JavaScript Joel]

Extra hearts for the comma operator. Kudos!