DEV Community

The easiest problem you cannot solve.

JavaScript Joel on October 08, 2018

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) /...

Read full post

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!

Theofanis Despoudis • Oct 9 '18

"cat and dog must appear exactly once."

That violates

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

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 :)

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 8 '18

There is no restriction to call K, right?

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

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 ;)

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!

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

These are less clever yet might be valid solutions:

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

JavaScript Joel • Oct 9 '18

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

Tiago Romero Garcia • Oct 9 '18

One more:

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

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 ;)

Zhou Qi • Oct 9 '18

Comma operator:

K((cat, dog))()

JavaScript Joel • Oct 9 '18

Extra hearts for the comma operator. Kudos!

metalbrain28 • Oct 9 '18

Well...

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

JavaScript Joel • Oct 9 '18

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

JavaScript Joel • Oct 10 '18 • Edited

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!

Heiker • Oct 8 '18

I give up. This is still within the rules, right?

K.bind(null, [cat, dog].pop())()()

JavaScript Joel • Oct 8 '18

lol. not what I was looking for, but I would say it technically meets the rules.

Very creative!

Rong Sen Ng • Oct 9 '18

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

JavaScript Joel • Oct 9 '18

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

JavaScript Joel • Oct 9 '18

Awesome work!

You found the clue I left, the K combinator! And it does come from the SKI calculus.

So many interesting solutions!