Conversation
There's a cool chapter in Types and Programming Languages on this!
2
1
... I could go over the top here. I get a real kick out of seeing these, I guess, essential ideas become somehow boringly real :). `->` seems to be a pretty good primitive :P
1
It can be handy to have other things so that compilation is easier, though :)
1
But still pretty cool. Church encodings kind of gave me the same feeling as the start of 'nand to tetris', where you build everything up just from NAND gates. Super crazy and mind expanding.