JavaScript Joel

Posted on Oct 8, 2018

The easiest problem you cannot solve.

#javascript #programming #challenge

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=

Top comments (40)

Kasey Speakman • Oct 8 '18 • Edited

In FP, there is a fairly common operation for this called flip. Here is a solution I tested in Chrome console.

const flip = f => a => b => f(b)(a)
flip(K)(cat)(dog)
// "dog"

JavaScript Joel • Oct 8 '18

I did not consider this as a possible solution!

Md Abu Taher • Oct 8 '18 • Edited

There is no restriction to call K, right?

K(K)(cat)(dog)()
K(dog)()

Done! Both of these should output dog.

Update: You can actually put anything you want instead of cat. Or complicate it even more with infinite recursive inputs.

K(K)()(dog)()
K(K(K)()(dog))(K)()
K(K(K)(cat)(dog))()()

JavaScript Joel • Oct 8 '18

K(K)()(dog)()
K(K(K)()(dog))(K)()
K(K(K)(cat)(dog))()()

Very creative!

JavaScript Joel • Oct 8 '18

There is no restriction to call K, right?

There is also a solution with a single call to K :)

Theofanis Despoudis • Oct 9 '18

"cat and dog must appear exactly once."

That violates

K(dog)()
K(K)()(dog)()
K(K(K)()(dog))(K)()

Md Abu Taher • Oct 9 '18

I was the first to solve his problem :D
He changed the rules after I posted my solution.
Check the comments.

JavaScript Joel • Oct 9 '18

I added that rule in afterwards. These solutions were valid at the time he posted, so I'll give him credit for the creativity :)

JavaScript Joel • Oct 8 '18

I assumed the other solution would have been found first.

Congratulations!

Md Abu Taher • Oct 8 '18

Well I updated with other solution.

JavaScript Joel • Oct 8 '18

haha I didn't consider K(dog)() would be within the rules. I have updated to rules to require both dog and cat to appear exactly once ;)

Md Abu Taher • Oct 8 '18

Lol no! You cannot change the rules after I won :P

JavaScript Joel • Oct 8 '18

I'm still giving you credit for both solutions ;)

Lajos Koszti • Oct 9 '18

K(cat && dog)()

Md Abu Taher • Oct 9 '18

Brilliant.

JavaScript Joel • Oct 9 '18

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

Ian Laird • Oct 10 '18 • Edited

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 • Oct 10 '18

Beautiful!

kip • Oct 9 '18 • Edited

> 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 • Oct 9 '18

So many unique solutions. Fantastic!

Tiago Romero • Oct 9 '18 • Edited

These are less clever yet might be valid solutions:

K('')(cat)+K(dog)()
K()(cat);K(dog)()

Tiago Romero • Oct 9 '18

One more:

K([cat,dog])()[1];

JavaScript Joel • Oct 9 '18

lol. Clearly I have to get better at writing rules! Technically these qualify!

JavaScript Joel • Oct 10 '18 • Edited

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.

Jon • Aug 23 '19

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 • Aug 23 '19

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

Nick Karnik • Oct 9 '18

This call makes no sense in reality, but it will yield the desired output:

K.call(1,2)()

JavaScript Joel • Oct 10 '18

Pretty interesting solution. You are binding the first value to this so that the a gets set as your second argument. Very creative!

Jochem Stoel • Oct 14 '18

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 • Oct 14 '18

But cats and dogs are the best ;)

View full discussion (40 comments)